[seL4] QSOE: QNX-inspired OS with dual-kernel architecture (custom kernel & seL4)

Hi! This is my project which I recently announced: https://qsoe.net Interestingly, when working in the shell (mksh-derived), the subjective "feeling" is that QSOE/N (with Skimmer) is ~10 times faster than /L :) . Launching e.g. "time ls" command confirms this: 0.1s for QSOE/L (with seL4) vs. 0.01s for QSOE/N. The work continues. Now I'm working on a video controller support for my SiFive Unmatched; then, when the _real_ text-mode console is there, I'll return to active QSOE developments. -- Regards, Yuri