DARPA-derived secure microkernel goes open source tomorrowtheregister.co.uk8 points·hippich··0 commentsOpen articleSaveView on HN