Den första versionen av operativsystemet QSOE har presenterats, designat i stil med QNX och levererat med tvÄ utbytbara mikroarkitekturer "Skimmer" och "seL4". PÄ kÀrnnivÄ körs endast resursfördelningssystemet, mekanismen för synkron meddelandeutbyte (QNX IPC) och en minimalistisk kÀrna, medan alla andra komponenter implementeras i anvÀndarutrymmet. Det stödjer drift pÄ 64-bitars CPU:er med RISC-V-arkitektur. OS:et har testats pÄ SiFive HiFive Unmatched-kortet och i QEMU. Projektkoden Àr skriven i C och distribueras under Apache 2.0-licensen.
Det finns tvÄ alternativ att vÀlja mellan: QSOE/N med sin egen mikroarkitektur Skimmer och QSOE/L baserat pÄ mikroarkitekturen seL4, som har formell verifiering av tillförlitlighet för RISC-V-arkitekturen. Dessutom utvecklas bootloadern mr-bml, baserad pÄ GRUB 2.13, standardbiblioteket libc och ett programsvit quser. Programsviten inkluderar kommandotolken qsh, baserad pÄ mksh, initiering av systemet och en uppsÀttning typiska unix-verktyg, sÄsom ls, cat, ps, lspci och login.
Mikroarkitekturen Skimmer anvÀnder en lÀttviktsimplementering av trÄdar i kÀrnan (LWKT, Light Weight Kernel Threads) lÄnad frÄn projektet DragonFly BSD, med arbetsköer kopplade till CPU och meddelandepunkter för primitiva meddelandeöverföringar. QSOE möjliggör anvÀndning av olika kÀrnor med en och samma anvÀndarmiljö och en uppsÀttning drivrutiner som förblir oförÀndrade vid byte av kÀrna. Endast taskman (uppgiftschef) och libc-biblioteket, som fungerar som en inkapsling av QNX-liknande API:er tillhandahÄllna av mikroarkitekturer, samlas in i relation till kÀrnorna.
ââââââââââââââââââââââââââââââââââââââââââââââââââââââââââââ
â qsh + drivrutiner + verktyg (dynamiskt lĂ€nkade) â
ââââââââââââââââââââââââââââââââââââââââââââââââââââââââââââ€
â libc.so (delad kropp; LQ-specifik söm i lq/libc/) â
â rtld (hĂ€rlett frĂ„n FreeBSD; BSD-2-Klausul) â
ââââââââââââââââââââââââââââââââââââââââââââââââââââââââââââ€
â taskman process / minnes / sökvĂ€gschef â
â libtaskman portabel taskman kropp (sökvĂ€g / cred / â
â syscfg / synk / omplacer / cpio / elf) â
ââââââââââââââââââââââââââââââââââââââââââââââââââââââââââââ€
â seL4 mikroarkitektur (RISC-V Sv39, formellt verifierad)â
â elfloader (laddar kĂ€rna + taskman) â
ââââââââââââââââââââââââââââââââââââââââââââââââââââââââââââ
Det första utslÀppet av QSOE Àr anmÀrkningsvÀrt för att ha Ästadkommit möjlighet att starta och logga in i kommandotolken pÄ det verkliga SiFive Unmatched (FU740) kortet med NVMe-lagring. Den framgÄngsrika starten har uppnÄtts för konfigurationer med bÄda kÀrnorna (QSOE/L och QSOE/N).
KĂ€lla: opennet.ru
