You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
Mathieu Maret ef78de447f Improve make target names 8 months ago
arch/x86 VGA renaming 8 months ago
core alloc: simplify full usage 8 months ago
docs Add docs links 1 year ago
drivers Various cleaning 8 months ago
tests add asprintf 8 months ago
.clang-format vim and clang-format configuration file 1 year ago
Makefile Improve make target names 8 months ago Improve make target names 8 months ago add some pretty-printer for kthread 1 year ago
debug.gdb Add gdb custom commands 1 year ago
linker.ld First step for memory management 3 years ago


To generate iso image

  • mtools xorriso (which is libisoburn on ArchLinux)
  • gcc >= 6

Run it

make run


make fd.iso && qemu-system-x86_64 -cdrom fd.iso

you can also test it

make self_test


gdb could be launch with debug symbols using :

make debug

Then you can check some matos specific commands or pretty printing with

help user-defined info pretty-printer (Should contains matos_pretty_printers)