3 ms·What's an Operating System? (MirageOS library operating system discussion)3 points by UncleOxidant 5y ago