Sistema operacional que suporta modelos de kernel dinamicamente comutáveis
O Mcube Kernel é um sistema operacional para micro/monotlítico/multikernels. Os modelos de kernel dinamicamente comutáveis podem evitar recompile e reinicialização desnecessários.

Execute o seguinte comando (privilégio de root necessário).
$ make setup
Por favor, edite o arquivo configure ou execute o seguinte comando.
$ cp docs/config/ARCH_configure configure
onde ARCH_configure é aarch64_raspi3_configure , axis_configure , sim_configure ou x86_64_configure .
ARCH of ARCH_configure é alterado para um nome de arquitetura de caracteres pequenos. Os detalhes do arquivo configure são explicados no Kconfig .
Primeiro de tudo, você verifica e modifica o arquivo configure . Se CONFIG_XXX=y , ative a configuração. Se CONFIG_XXX=n , desative a configuração. Em seguida, execute o seguinte comando.
$ make configure
Por favor, execute o seguinte comando.
$ make
Caso contrário, se você deseja usar docker , execute o seguinte comando.
$ make docker
Se a limpeza de arquivos de construção, execute o seguinte comando.
$ make clean
Por favor, execute o seguinte comando em CUI.
$ make run
Por favor, execute o seguinte comando na GUI.
$ make grun
Por favor, execute o seguinte comando em CUI.
$ make run ARGS="arg1 arg2 arg3"
Por favor, execute o seguinte comando na GUI.
$ make grun ARGS="arg1 arg2 arg3"
2018-2019 Hiroyuki Chishiro