Running the kernel - niltonvasques/marvin GitHub Wiki

To run the kernel is easy.

Supposing that your environment is tottaly configured, into the Marvin OS folder, run the command

make | make run

The SO will start. Then type

kernel

This command will load the kernel code in the memory. Now type

pmode

That's all! Now you are running the kernel.