Full threadseesomesense·The marketing makes it sound a bit like SeL4. https://sel4.systems/View on HN