Our great sponsors
-
WorkOS
The modern identity platform for B2B SaaS. The APIs are flexible and easy-to-use, supporting authentication, user identity, and complex enterprise features like SSO and SCIM provisioning.
Some starting points:
USB mass storage driver: https://github.com/froggey/Mezzano/blob/master/drivers/usb/m...
ext4 file system (read-only): https://github.com/froggey/Mezzano/blob/master/file/ext4.lis...
TCP network stack: https://github.com/froggey/Mezzano/blob/master/net/tcp.lisp
It looks like it isn't capable of building itself as yet: https://github.com/froggey/MBuild
Hopefully one day it reaches that point. Ability to build one's self, and even to host one's own development, is an important sign of completeness in an operating system.
There's also an OS written in OCaml, if you're interested in this sort of thing: https://github.com/mirage/mirage
Related posts
- Mirage – A programming framework for building type-safe, modular systems
- Ask HN: Operating Systems built with functional languages?
- MirageOS: A programming framework for building type-safe, modular systems
- What advantages does applying type-safety to OS give?
- Crash-Only Software and Recursive Microreboots