issues
search
GaloisInc
/
HaLVM
The Haskell Lightweight Virtual Machine (HaLVM): GHC running on Xen
BSD 3-Clause "New" or "Revised" License
1.05k
stars
88
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
repos.halvm.org seems to be down again
#131
protoben
opened
5 years ago
4
Fix typo + inconsistent indents in examples/HighLevel/Halfs/Halfs.hs
#130
mattaudesse
closed
5 years ago
0
Fedora links in HACKING.md broken
#129
Lightyagami1
closed
5 years ago
0
Wiki link broken
#128
chrisvelevitch
opened
6 years ago
1
Optionally emulate /dev/urandom CRNG for transparent entropy on cryptonite
#127
protoben
closed
6 years ago
1
updated HACKING.MD
#126
aierl
closed
6 years ago
1
Build failure on Fedora Server 26
#125
aierl
closed
6 years ago
5
Prefix changed
#124
ggreif
closed
6 years ago
0
repos.halvm.org appears to be down
#123
henrytill
closed
6 years ago
4
Minor improvements to documentation for hacking HaLVM
#122
mspaulding06
closed
7 years ago
5
Rewrite HaLVM3 base library to stop using 'unsafe' so many places
#121
acw
opened
7 years ago
0
Problems using Ubuntu PPA for Build
#120
acw
opened
7 years ago
0
Linker fails on Ubuntu Xenial
#119
acw
closed
7 years ago
1
Haddock is broken in 2.4.0 release
#118
acw
closed
7 years ago
0
Linux system call census
#117
acw
closed
7 years ago
2
Implement POSIX FD abstraction
#116
acw
opened
7 years ago
0
Post platform cleanup
#115
dmjio
opened
7 years ago
0
Port of the HaLVM3 to KVM
#114
acw
opened
7 years ago
0
Port of the HaLVM3 to Xen
#113
acw
opened
7 years ago
0
Port of HaLVM3 to the Linux kernel
#112
acw
opened
7 years ago
0
Determine underlying system interface
#111
acw
opened
7 years ago
0
Implement generic Linux upcalls
#110
acw
opened
7 years ago
0
Implement POSIX network redirects
#109
acw
opened
7 years ago
0
Implement POSIX file API redirects
#108
acw
opened
7 years ago
0
HaLVM GHC does not list TemplateHaskell in the supported extensions
#107
ntc2
opened
7 years ago
0
Make finding bash a little more portable
#106
dmjio
closed
7 years ago
0
Removes redundant calls to sync-all
#105
dmjio
closed
7 years ago
0
Shouldn't need `ghc` and `ghc-pkg` on path to use `halvm-cabal haddock`?
#104
ntc2
opened
7 years ago
3
Add --halvm-version flag to halvm-ghc
#103
dmjio
closed
7 years ago
0
GMP update
#102
dmjio
closed
7 years ago
0
Remove haddock
#101
dmjio
closed
7 years ago
1
2.4.0 Release
#100
dmjio
closed
7 years ago
3
Point halvm-ghc to halvm branch
#99
dmjio
closed
7 years ago
0
EINVAL
#98
dmjio
opened
7 years ago
0
Set $@ if file path received, remove additional $LIB call, add --no-as-needed case
#97
dmjio
closed
7 years ago
0
Removes necessity of curl
#96
dmjio
closed
7 years ago
0
Use mini-os as the Xen layer
#95
izgzhen
opened
7 years ago
1
Ditch `platform-ghc`, instead require correct software to be installed
#94
acw
closed
7 years ago
3
CI support
#93
izgzhen
opened
7 years ago
3
Port HaLVM to GHC 8.0.1
#92
izgzhen
closed
7 years ago
17
[WIP] Update Makefile to stage1-only build
#91
izgzhen
closed
7 years ago
3
Improve HaLVM3 build system
#90
izgzhen
closed
7 years ago
0
cabal new-build support
#89
acw
opened
7 years ago
1
[dev-build] Use stack to manage the stage0 compiler etc.
#88
izgzhen
closed
7 years ago
3
Update WebServer example
#87
izgzhen
closed
7 years ago
2
Nixify HaLVM
#86
dmjio
closed
7 years ago
6
Track dependencies of Examples
#85
izgzhen
opened
7 years ago
0
Can I run a HALVM unikernel from the Linux command line?
#84
crowdwave
closed
7 years ago
1
Add HACKING.md
#83
izgzhen
closed
7 years ago
25
Port HaLVM to GHC 8.0.1
#82
izgzhen
closed
7 years ago
10
Next