Build system

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