3 ms·

I wonder if seL4 could serve as the base layer for a new Smalltalk based system on something like a PineNote.