4 ms·
Apple doesn't use sel4 in the secure enclave, but instead another l4 variant that isn't formally verified. And they've made a lot of pretty deep changes for ex
by monocasa 4y ago
Apple doesn't use sel4 in the secure enclave, but instead another l4 variant that isn't formally verified.
And they've made a lot of pretty deep changes for example adding native support for Mach-O files.
- flangola7 4y agoWhat is a macho file?
- jonpalmisc 4y agoIt’s the executable file format for macOS/iOS/*OS, analogous to ELF or PE. https://en.m.wikipedia.org/wiki/Mach-O https://en.m.wikipedia.org/wiki/Mach-O
- flangola7 4y agoOh so an .exe