Operating System Supporting Dynamically Switchable Kernel Models
Mcube Kernel is an operating system for Micro/Monotlithic/MultiKernels. Dynamically switchable kernel models can avoid unnecessary recompile and reboot.

Please execute the following command (root privilege required).
$ make setup
Please edit configure file or execute the following command.
$ cp docs/config/ARCH_configure configure
where ARCH_configure is aarch64_raspi3_configure,
axis_configure, sim_configure, or x86_64_configure.
ARCH of ARCH_configure is changed to an architecture name of small
characters.
Details of configure file are explained in Kconfig.
First of all you check and modify configure file.
If CONFIG_XXX=y, enable the configuration.
If CONFIG_XXX=n, disable the configuration.
Then please execute the following command.
$ make configure
Please execute the following command.
$ make
Otherwise if you would like to use docker, please execute the following command.
$ make docker
If cleaning build files, please execute the following command.
$ make clean
Please execute the following command in CUI.
$ make run
Please execute the following command in GUI.
$ make grun
Please execute the following command in CUI.
$ make run ARGS="arg1 arg2 arg3"
Please execute the following command in GUI.
$ make grun ARGS="arg1 arg2 arg3"
2018-2019 Hiroyuki Chishiro