issues
search
mirage
/
mirage-xen-minios
Install external libraries for the Mirage Xen backend, notably MiniOS and OpenLibm
7
stars
7
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Fails in opam2 sandbox due to no network
#28
reynir
closed
6 years ago
3
Add libxen-dev as depext
#27
reynir
opened
6 years ago
0
Re-add the header `complex.h`
#26
djs55
closed
7 years ago
0
Fix the ctypes build when mirage-xen is installed
#25
djs55
closed
7 years ago
1
openlibm installs in include/openlibm
#24
djs55
closed
7 years ago
1
Use upstream v0.5.4 of openlibm
#23
djs55
closed
7 years ago
1
Cryptographic verification?
#22
jpouellet
opened
7 years ago
2
pkg_config files are in share, not lib
#21
hannesm
closed
7 years ago
0
build fails on centos6
#20
avsm
closed
6 years ago
2
refresh the Travis setup to test multidistro using containers
#19
avsm
closed
8 years ago
0
Build fails on Arch Linux on CubieBoard2
#18
garasubo
opened
9 years ago
0
[Tracking] Depend on minios-xen opam package
#17
talex5
closed
9 years ago
1
Build fails on platforms without sys/cdefs.h
#16
justincormack
closed
7 years ago
1
build fails if EXTRA_DEPS is set in environment
#15
avsm
closed
6 years ago
1
Attempt to reproduce the build failure in mirage/mirage-console#36
#14
avsm
closed
9 years ago
1
Update to minios-v0.6 for x86 stack protector fix
#13
talex5
closed
9 years ago
0
cc1: error: unrecognized command line option "-fno-tree-loop-distribute-patterns"
#12
djs55
closed
9 years ago
14
Update to minios-v0.5 and openlibm-v0.4.1-tal1
#11
talex5
closed
9 years ago
0
Build Openlibm with Mini-OS CFLAGS
#10
talex5
closed
9 years ago
1
Build Openlibm with Mini-OS CFLAGS
#9
talex5
closed
9 years ago
1
Update to minios-v0.4.2
#8
talex5
closed
9 years ago
2
update to minios-v0.4.1
#7
avsm
closed
10 years ago
0
Upgrade to libmini-os 0.4
#6
talex5
closed
10 years ago
1
Add release scripts to upload to GitHub releases
#5
avsm
closed
10 years ago
0
Upgrade to libmini-os 0.3 and openlibm 0.4
#4
talex5
closed
10 years ago
0
Release scripts
#3
avsm
closed
10 years ago
0
Update URL of MiniOS in README to v0.2
#2
avsm
closed
10 years ago
0
Update to Mini-OS 0.2
#1
talex5
closed
10 years ago
0