Go to file
2018-03-20 03:11:56 +01:00
src Force the kernel to be built in 32-bits mode 2018-03-20 02:58:33 +01:00
tests Register "grub.log" 2018-03-20 03:11:56 +01:00
.gitignore Register some targets and intermediate files 2018-03-19 00:40:56 +01:00
COPYING Import the 2-clause BSD license 2018-03-19 01:02:43 +01:00
project.conf Also ship a README file 2018-03-20 03:10:51 +01:00
README.md Also ship a README file 2018-03-20 03:10:51 +01:00

DeforaOS uKernel

About uKernel

uKernel is intended to be the kernel of the DeforaOS Operating System.

This project is in a very early stage and only targets the Intel 32-bit architecture for the moment (x86).

Compiling uKernel

First, the Makefiles must be generated for the current platform. This can be performed with configure(1) from the DeforaOS configure project, found at https://www.defora.org/os/project/16/configure. The procedure is then as follows:

$ configure

Please refer to the documentation of DeforaOS configure for further instructions.

Once this done, to build uKernel, simply run:

$ make

The resulting kernel is located in src/uKernel.bin. It is meant to produce a multiboot-compliant kernel file.

Testing uKernel

To test uKernel:

$ qemu-system-i386 -nographic -kernel src/uKernel.bin