Report - Microkernels: From Mach to seL4 (Lecture 8, cs262a) · Hardware standardization: • Intel and ARM dominating • Less need for portability, one of main goals of Mach Software standardization:

Please pass captcha verification before submit form