4 ms·
Another idea: port HaLVM and get a Haskell baremetal OS - with native threads, GC, type safety, instant boot - https://github.com/GaloisInc/HaLVM https://githu
by dons 14y ago
Another idea: port HaLVM and get a Haskell baremetal OS - with native threads, GC, type safety, instant boot - https://github.com/GaloisInc/HaLVM https://github.com/GaloisInc/HaLVM
- dbaupp 14y agohalvm.org seems to be down (http://isitup.org/halvm.org 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/ http://corp.galois.com/halvm/ [2]: https://github.com/GaloisInc/HaLVM https://github.com/GaloisInc/HaLVM
- dons 14y agoAh yes, it has moved to github now
- alrex021 14y agoThat'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)
- danieldk 14y agoWouldn'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!
- alrex021 14y agoIn 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 http://xen.org/products/xen_arm.html [2] http://xenbits.xen.org/ext/arm/xen-unstable.hg/ http://xenbits.xen.org/ext/arm/xen-unstable.hg/