/***
syntax

range 1 to 20
select 1,3,7

define CFG_MMU as select true, false with default false means that
***/


define CFG_CORE_NUM as range 1 to 20 with default 1 means that the number of all processor core managed by this operating system.



define ARCH as select arm-v7a riscv-rv64 without default
define OSNAME as string with default Astral