• i686-elf-binutils
• i686-elf-gcc
• i686-elf-gdb
• GNU Make
• xorriso
• mtools
• grub-mkrescue
• nasm

We use GNU Make to build the kernel.

make

Build the ISO file using the following command

make build

Run the kernel (using qemu-system-i386)

make run

You can debug the kernel using Qemu and GDB. The emulator needs to be started in debug mode.

make re DEBUG=yes; make build; make debug

Then, you can connect to the GDB Server, which was started on the emulator.

gdb 

# The following commands need to be typed in gdb's terminal
target remote ip:port # ex: target remote localhost:1234
symbol-file path_to_bin # ex: symbol-file ./build/iso/kernel.bin

# Then you should specify any breakpoints, if needed
c # Since you're on a remote server, you can't "start" the app, you need to continue its execution

We aim POSIX compatibility, and portability. That being said, you need to restrict machine-independant code. This kind of code should be located into the /arch/ folder.

Every function declared in /arch/arch.h should be implemented for every available architecture.

This project is developped by Antoine Baché and Lucas Troncy.