Hacker News Reader

Comment by dons | Hacker News Reader

Another idea: port HaLVM and get a Haskell baremetal OS - with native threads, GC, type safety, instant boot - https://github.com/GaloisInc/HaLVM

View on HN

That's a really interesting idea considering the limited resources of the device.

Thank's for the suggestion; I'll check out the HaLVM site once it comes back up.

Alen (author of the post)

halvm.org seems to be down (http://isitup.org/halvm.org). However, there is a summary here[1] and the source is on GitHub[2].

[1]: http://corp.galois.com/halvm/ [2]: https://github.com/GaloisInc/HaLVM

Ah yes, it has moved to github now

Wouldn't that require Xen on ARM? Is Xen already available on the Raspberry Pi? How performant is it?

I do really like the idea though!

In the current form, yes HaLVM requires Xen, therefore Xen on ARM support would be required too.

Xen on ARM [1] support is ongoing and from what I can tell, the repository [2] is flagged as unstable therefore certainly still requiring work.

[Edit] RaspberryPi has an ARMv6 CPU. The Xen site reads: "The Xen ARM Project, led by Samsung, is responsible for the direct port of the Xen hypervisor to the ARM processor. So far the focus of the project has been to use Xen Paravirtualization (PV) for a range of processors (ARM v5 - v7).".

This means that it should cover ARMv6 of course. As for the status, I have no idea.

[1] http://xen.org/products/xen_arm.html

[2] http://xenbits.xen.org/ext/arm/xen-unstable.hg/

Reply on news.ycombinator.com