QSOE 0.2 release
The second QSOE release, v0.2, is out . As before it is a single numbered drop of both kernel variants, the boot loader, the shared userspace and libc: QSOE/N v0.26 , with the custom "Skimmer" kernel. QSOE/L v0.22 , which works together with seL4 version 16.0.0. mr-bml v0.9 , the GRUB-derived boot loader. quser v0.14 , the shared userspace: the shell, the drivers, the servers and the utilities. libc v0.15 . 0.1 was a system you watched over a serial cable. 0.2 is one you can sit at. devc-hficon paints a text console on a graphics controller that the firmware hands over — a GK208 on the Unmatched, the SoC display block on the K3 — and devu-xhci enumerates a USB keyboard that types into it, so a login: prompt appears on the monitor and answers. The shell gained pipelines (without fork() , which QSOE deliberately does not have), command substitution, job control, and a Ctrl-C that reaches the command and then the shell; an orthodox two-panel file manager and a full-screen...