Useful Links - GaloisInc/HaLVM GitHub Wiki

Official development repos

• HaLVM Main repo
• HaLVM GHC repo
• HaLVM GHC's base boot-package
• MiniLibC repo
• HaLFS repo
• network-hans, some interfaces for networking
• HaNS network stack

Pre-built Resource (NO LONGER MAINTAINED, SORRY!)

• A complete fedora virtual box image with compiled development environment
  • size: 4GB
  • username: root
  • password: 123
  • if debug message is not working correctly, you should change the /etc/default/grub, in which there "GRUB_CMDLINE_XEN"­ option line should be corrected to GRUB_CMDLINE_XEN="­loglvl=all guest_loglvl=all sync_console console_to_ring". After that, grub2-mkconfig -o /boot/grub2/grub.cfg and reboot will be fine

Knowledge base

• Official wiki on GitHub
• Slide about HaLVM in 2012
• Another slide in 2007
• A talk by acw in Sept. 2015
• A stub page on Xen Project's website
• Paper about Library OS
• One comprehensive slide about library OS, in 2015
• Some source notes about HaLVM Core

Some RFC-level repos for HaLVM

• Build system based on KitchenCI, repo
• Some simple scripts to boot HaLVM on EC2 repo
• FAT32 file system, repo
• Archlinux HaLVM Installation in a Docker Container, repo
• Hackern, a student project in 2015, including some prototyping, experimental code on building things with HaLVM

Community

• HaLVM developer maillist

Other resource

• Galois' rpm repo for HaLVM