26 lines
805 B
C
26 lines
805 B
C
// SPDX-License-Identifier: MPL-2.0
|
|
#ifndef SH_LIB_CONF_H
|
|
#define SH_LIB_CONF_H
|
|
#include "std/type.h"
|
|
#include "std/status.h"
|
|
#include "memory/page.h"
|
|
#include "memory/vmem_layout.h"
|
|
#define SH_CONF_BOOT_CONFIG_VA SH_VMEM_LAYOUT_BOOT_CONFIG_VA
|
|
// Boot config structure.
|
|
typedef struct __attribute__((aligned(8))) {
|
|
sh_uint8 sig_start[8];
|
|
sh_uint8 log_level;
|
|
sh_uint16 page_table_allocator_level;
|
|
sh_page_PHYSICAL_ADDRESS page_table_pool_pa;
|
|
sh_page_VIRTUAL_ADDRESS page_table_pool_va;
|
|
sh_bool test_benchmark;
|
|
sh_uint64 bench_iterations;
|
|
sh_bool log_disable_serial_port;
|
|
sh_bool disable_serial_port;
|
|
sh_uint16 log_ring_size;
|
|
sh_uint8 sig_end[8];
|
|
} sh_conf_BOOT_CONFIG;
|
|
// Check and create boot config structure.
|
|
SH_STATUS sh_conf_get_boot_config(sh_conf_BOOT_CONFIG **config);
|
|
#endif
|