Shared publicly  - 
What got me thinking today - @alenribic: Raspberry Pi in a Haskell Cloud

Take the HaLVM, port to Arm, run micro-custom OS nodes on raspberry pi's, that boot in 5ms, but have a full range of language services.

#Haskell #cloudhaskell #Raspberry
Panajachel, Solola
Liam O'Connor's profile photoAlen Ribic's profile photo
Porting HaLVM to ARM and updating it to use the latest RTS might be a lot of work, though.
I like the term `micro-custom OS nodes` here or just micro nodes to denote a limited resource, embedded system.
These nodes are still standard CH nodes as the `full range language services` holds.

From my very high-level look at HaLVM and Xen, there does seem to be quite a bit of work involved.

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.

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 current status of the development, I'm not to sure, this will need investigating.

If one is to investigate if this path is worth pursuing, I believe it is important to think `ARM` broadly, as oppose to solely RPi, when assessing the viability. It is perhaps noteworthy that companies like Oracle [3] and Samsung [1] are pushing for support for emerging `micro-server` ARM market.

[Edit] HaLVM as a baremetal OS on ARM could really be of an advantage here for Haskell in general. A `full Haskell stack` with the properties mentioned in the post (and the Haskell inherent properties of course go without saying).

Add a comment...