Hacker News new | comments | show | ask | jobs | submit login

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 and http://nymote.org/blog/2013/overview-of-mirage/

[2] http://nymote.org/docs/2013-asplos-mirage.pdf

> 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.)

Does something like http://erlangonxen.org/ fit into this area?

Since 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.

That's actually my favorite area of research at the moment.

Guidelines | FAQ | Support | API | Security | Lists | Bookmarklet | DMCA | Apply to YC | Contact