Biscuit: An OS kernel in a high-level language (2018)pdos.csail.mit.edu3 points·kyeb··0 commentsOpen articleSaveView on HN