Skip to content
Raphaël POGGI edited this page Jun 19, 2018 · 3 revisions

Kconfig

rnk uses Kconfig to provide flexible configuration of the kernel (e.g. scheduling algorithm, memory allocator, etc.)

To configure the kernel options : make menuconfig or make nconfig

Makefile

Build the kernel is as simple as : make clean and make all

Clone this wiki locally