> but starting with our current hardware as the basis, and reconceptualizing the OS around security and stability.
NB: Do NOT visit the code repository - it's governed by a copy-left proprietary license.
This has been done by Microsoft [1], although it was pure research (there were hints of them using it for something "real" eventually, though). Essentially it was an OS written in a variant of C# that had Eiffel-like contracts - static analysis was done by the OS when an application was installed.
Worth a read, as I said - make sure you keep away from the code.
NB: Do NOT visit the code repository - it's governed by a copy-left proprietary license.
This has been done by Microsoft [1], although it was pure research (there were hints of them using it for something "real" eventually, though). Essentially it was an OS written in a variant of C# that had Eiffel-like contracts - static analysis was done by the OS when an application was installed.
Worth a read, as I said - make sure you keep away from the code.
[1]: http://en.wikipedia.org/wiki/Singularity_(OS)