ANN: HaLVM 1.0: the Haskell Lightweight Virtual Machine

Adam Wick awick at
Tue Nov 30 23:17:09 CET 2010

Galois, Inc. is pleased to announce the immediate release of the Haskell 
Lightweight Virtual Machine (or HaLVM), version 1.0. The HaLVM is a port 
of the GHC runtime system to the Xen hypervisor, allowing programmers to 
create Haskell programs that run directly on Xen's "bare metal." 
Internally, Galois has used this system in several projects with much 
success, and we hope y'all will have an equally great time with it.

What might you do with a HaLVM? Pretty much anything you want. :) 
Explore designs for operating system decomposition, examine new notions 
of mobile computation with the HaLVM and Xen migration, or find 
interesting network services and lock them inside small, cheap, 
single-purpose VMs.

The HaLVM is the result of many years of effort, by many people inside 
Galois. Although it is not yet totally bug-free, we have decided that 
broad adoption wins over perfection and thus we are releasing it for 
general review. As such, there will be some rough edges, and we urge you 
to read the documentation to understand the platforms we test on.

We are releasing the HaLVM under a non-restrictive BSD3 license. You can 
find it here:

We welcome user feedback, feature requests, bug notices, patches, and 
feature additions; see the page above for guidelines on getting involved.

Finally, we'd like to give many things to the GHC and Xen communities, 
without which this work would not be possible.

If you have any questions or concerns, please don't hesitate to contact 
the HaLVM's maintainers at  halvm-devel at

Have a lovely day!

- Adam

-------------- next part --------------
A non-text attachment was scrubbed...
Name: smime.p7s
Type: application/pkcs7-signature
Size: 3608 bytes
Desc: S/MIME Cryptographic Signature
URL: <>

More information about the Glasgow-haskell-users mailing list