Secure Operating Systems (Microkernels seems to be the future) cross-posted from: sh.itjust.works/post/17506000...