Cloud Haskell on Raspberry Pi(alenribic.com)
alenribic.com
Cloud Haskell on Raspberry Pi
http://alenribic.com/writings/post/raspberry-pi-in-a-haskell-cloud
9 comments
Another idea: port HaLVM and get a Haskell baremetal OS - with native threads, GC, type safety, instant boot - https://github.com/GaloisInc/HaLVM
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!
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/
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/
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
[1]: http://corp.galois.com/halvm/ [2]: https://github.com/GaloisInc/HaLVM
Ah yes, it has moved to github now
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)
Thank's for the suggestion; I'll check out the HaLVM site once it comes back up.
Alen (author of the post)
That's an interesting use case for Raspberry Pi. My team loves to play around with them. In fact we are about to launch an Open Source OS for it (the current Raspbian OS is weak at best). We're also testing various serially chained variations as well.
Bottom-line. It's really cool to see what this little thing is doing as far as innovation in the market.
Bottom-line. It's really cool to see what this little thing is doing as far as innovation in the market.
I'm interested in hearing more about this RPi OS. Would you mind sharing? So as not to take the thread too far off course: my email is in my profile.
[deleted]