3 ms·
How about OSs that target the hypervisors? With hypervisors getting everywhere, it becomes a viable platform on which we can re-evaluate the assumptions we mak
by amirmc 13y ago
How about OSs that target the hypervisors? With hypervisors getting everywhere, it becomes a viable platform on which we can re-evaluate the assumptions we make about OSs.
For example, I'm working with a bunch of other people on MirageOS [1], which is clean-slate, library OS written entirely in OCaml and targets the Xen Hypervisor. Since Xen works on ARM devices, we'll also be able to create applications/appliances for the coming wave of embedded devices (aka Internet of Things) -- in addition to running things on the public cloud.
If you're interested in reading more, there's an ASPLOS paper [2] where you can find out more. There will also be a CACM article in the New Year that covers more of the wider background.
[1] http://openmirage.org http://openmirage.org and http://nymote.org/blog/2013/overview-of-mirage/ http://nymote.org/blog/2013/overview-of-mirage/
[2] http://nymote.org/docs/2013-asplos-mirage.pdf http://nymote.org/docs/2013-asplos-mirage.pdf
- zvrba 13y ago> How about OSs that target the hypervisors? Yup, that's definitely a new area. I guess you're using the hypercall API instead of pretending to talk to the raw HW? In a way, the hypervisor has become "the" OS, while "an" OS is now just an application running within the hypervisor. Can we avoid the additional (hypervisor) layer? I think yes. But: 1) how, and [harder] 2) also while maintaining compatibility with existing applications? (Not existing OS's, just existing applications.)
- ams6110 13y agoDoes something like http://erlangonxen.org/ http://erlangonxen.org/ fit into this area?
- blahbl4hblahtoo 13y agoThat's actually my favorite area of research at the moment.
- agumonkey 13y agoSince you're in this domain, what are others topics or projects you're interested in ? (maybe you don't even have time for that). ps: I love the idea of operating system + ml. I remember BitC tried to bring types on the metal ~without success.
- deleted 13y ago[deleted]