Search results

repos.halvm.org seems to be down again

Status: Open.

#131 In GaloisInc/HaLVM;

· protoben opened on Apr 16, 2019

Wiki link broken

Status: Open.

#128 In GaloisInc/HaLVM;

· chrisvelevitch opened on Apr 27, 2018

Rewrite HaLVM3 base library to stop using 'unsafe' so many places

bug

Status: Open.

#121 In GaloisInc/HaLVM;

· acw opened on Jun 26, 2017

 ·  

HaLVM 3.0

Problems using Ubuntu PPA for Build

bug

Status: Open.

#120 In GaloisInc/HaLVM;

· acw opened on Jun 5, 2017

 ·  

HaLVM 2.5

Implement POSIX FD abstraction

task

Status: Open.

#116 In GaloisInc/HaLVM;

· acw opened on Apr 19, 2017

 ·  

HaLVM 3.0

Post platform cleanup

bug

Status: Open.

#115 In GaloisInc/HaLVM;

· dmjio opened on Apr 14, 2017

 ·  

HaLVM 2.5

Port of the HaLVM3 to KVM

task

Status: Open.

#114 In GaloisInc/HaLVM;

· acw opened on Apr 2, 2017

 ·  

HaLVM 3.0

Port of the HaLVM3 to Xen

task

Status: Open.

#113 In GaloisInc/HaLVM;

· acw opened on Apr 2, 2017

 ·  

HaLVM 3.0

Port of HaLVM3 to the Linux kernel

task

Status: Open.

#112 In GaloisInc/HaLVM;

· acw opened on Apr 2, 2017

 ·  

HaLVM 3.0

Determine underlying system interface

task

Status: Open.

#111 In GaloisInc/HaLVM;

· acw opened on Apr 2, 2017

 ·  

HaLVM 3.0

Implement generic Linux upcalls

task

Status: Open.

#110 In GaloisInc/HaLVM;

· acw opened on Apr 2, 2017

 ·  

HaLVM 3.0

Implement POSIX network redirects

task

Status: Open.

#109 In GaloisInc/HaLVM;

· acw opened on Apr 2, 2017

 ·  

HaLVM 3.0