Notes on building and running network appliances under HaLVM (from Galois)