Kísérletezések L4 microkernelen

Akik szeretik a "low level" dolgokat:

Ha már úgy adódott, hogy tegnap volt egy labor, ahol az L4-gyel lehetett játszadozni (ebbe a családba tartozik a "formálisan bizonyítottan helyesen működő" seL4 is), akkor már próbáljuk ki, mit lehet csinálni:

- több processzt létrehozni, és IPC-zni (RPC-szerűen)
- framebufferezni
- Linuxot futtatni (ezt nem próbáltam ki, látok Linuxot eleget :-))
meg sok minden mást, ami most nem érdekelt.

Úgyhogy a szokásos ujjgyakorlat: többszálú (vagyis itt most többprocesszű) Mandelbrot-halmaz dinamikus feladatkiosztással:

Szerverek (taskok, processzek):
IO, fb-drv -> IO és grafikus driver -> gyárilag adott
sigma0, moe, ned -> memóriakezelés, taskkezelés, stb. -> gyárilag adott
és a saját kliensek és a szerver, ami adja a klienseknek a számítandó pontokat és megjeleníti a megoldást.

Nem egy optimális megvalósítás, de VirtualBoxon egész gyors. Meg jó szórakozás volt megírni.

https://github.com/wachag/l4re_mandel