3 ms·Are you posting from seL4, OpenBSD, or Genode?by yjftsjthsd-h 3y agoAre you posting from seL4, OpenBSD, or Genode?