William Durand

kernel: add linux compatibility layer

5

~~It does not quite work yet, although binaries built for ArvernOS run on Linux... "Just" need to make the opposite to happen now.~~ It totally works ~~on x86_64 (because other...

See: https://wiki.osdev.org/Higher_Half_Kernel

For targets that have a PCI bus, we should perform a scan in order to load the appropriate drivers. Currently, we initialize a driver, which calls the PCI code. That's...

The console module uses an external library to implement a vt100 console that works for VGA and VBE but it is currently a x86_64-only feature. The idea would be to...

Although this is going to be yet another board to maintain, and this one does not correspond to any real hardware, it would be interesting to have a `virt` machine...

Given we use NASM only for x86_64, we might want to get rid of it.

I gave `clang-tidy` a try locally and that is interesting. It caught a few minor mistakes and gives good warnings. I see it as a linter/static analysis tool to prevent...