Go to file
2018-03-22 00:36:12 +01:00
include Implement abort() with exit() 2018-03-21 03:15:28 +01:00
src Introduce libuKernel 2018-03-21 22:45:11 +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 Introduce <stddef.h> and <stdint.h> 2018-03-21 01:57:33 +01:00
README.md Also link to the GitHub mirror for configure(1) 2018-03-22 00:36:12 +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 (or https://github.com/DeforaOS/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 produces a multiboot-compliant kernel file.

Testing uKernel

To test uKernel:

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