4 ms·
How does that work? Surprisingly well :) Many hobby kernels (as mentioned in these comments) have used C#, as well as bleeding-edge research kernels e.g. Micr
by willvarfar 10y ago
How does that work? Surprisingly well :)
Many hobby kernels (as mentioned in these comments) have used C#, as well as bleeding-edge research kernels e.g. Microsoft's Singularity project: https://en.wikipedia.org/wiki/Singularity_(operating_system) https://en.wikipedia.org/wiki/Singularity_(operating_system)
- nickpsecurity 10y agoBleeding-edge was VerveOS: https://www.microsoft.com/en-us/research/publication/safe-to-the-last-instruction-automated-verification-of-a-type-safe-operating-system/ https://www.microsoft.com/en-us/research/publication/safe-to... It's legacy will be in their IronClad Apps. Look into those if you want to see how far they've gone. Also, Microsoft Research & HLL vs Nix and C in security are a gap that's ever widening. ;)