První vydání QSOE, operačního systému ve stylu QNX s dvěma vyměnitelnými mikro-jádry

Byl představen první mísený vydání operačního systému QSOE, navrženého ve stylu QNX a dodávaného se dvěma vyměnitelnými mikrojádry „Skimmer“ a „seL4“. Na úrovni jádra běží pouze systém rozdělování zdrojů, mechanismus synchronního zasílání zpráv (QNX IPC) a minimalistické jádro, přičemž všechny ostatní komponenty jsou implementovány ve uživatelském prostoru. Podporuje běh na 64bitových CPU s architekturou RISC-V. OS byl testován na desce SiFive HiFive Unmatched a v QEMU. Kód projektu je napsán v jazyce C a je distribuován pod licencí Apache 2.0.

Na výběr jsou varianty: QSOE/N s vlastním mikrojádrem Skimmer a QSOE/L založený na mikrojádru seL4, které má formální ověření spolehlivosti pro architekturu RISC-V. Kromě toho se vyvíjí bootloader mr-bml založený na GRUB 2.13, standardní knihovna libc a soubor programů quser. Součástí souboru programů je příkazový shell qsh založený na mksh, systém inicializace a sada typových unixových utilit, jako jsou ls, cat, ps, lspci a login.

Mikrojádro Skimmer využívá výběr z projektu DragonFly BSD, implementaci lehkých vláken v jádře (LWKT, Light Weight Kernel Threads) se svázanými pracovními frontami s CPU a primitivy pro zasílání zpráv msgport. QSOE umožňuje používat různá jádra s jedním uživatelským prostředím a sadou ovladačů, která se nemění při změně jádra. Vázány na jádra jsou pouze správce úkolů (taskman) a knihovna libc, která slouží jako obal nad QNX-podobnými API poskytovanými mikrojádry.

┌──────────────────────────────────────────────────────────┐
│ qsh + ovladače + utilitky (dynamicky propojené) │
├──────────────────────────────────────────────────────────┤
│ libc.so (sdílené jádro; pro konkrétní LQ) │
│ rtld (odvozeno od FreeBSD; BSD-2-Clause) │
├──────────────────────────────────────────────────────────┤
│ taskman proces / správa paměti / správa cest │
│ libtaskman přenosné jádro správy úkolů (cesta / │
│ úvěr / syscfg / synchronizace / reloc / │
├──────────────────────────────────────────────────────────┤
│ cpio / elf) │
│ seL4 mikrojádro (RISC-V Sv39, formálně ověřeno) │
│ elfloader (nahrává jádro + taskman) │

První vydání QSOE je pozoruhodné dosažením možnosti zavedení a přihlášení do příkazového rozhraní na skutečné desce SiFive Unmatched (FU740) s úložištěm NVMe. Úspěšné zavedení bylo realizováno pro konfigurace s oběma jádry (QSOE/L a QSOE/N).

Zdroj: opennet.ru