issues
search
mirage
/
ocaml-solo5
Freestanding OCaml runtime
Other
101
stars
30
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Add support for OCaml 4.12
#88
kit-ty-kate
closed
3 years ago
7
Various fixes and improvements
#87
mato
closed
3 years ago
0
TESTS
#86
samoht
closed
3 years ago
1
Dune port, take 2
#85
samoht
closed
3 years ago
2
Use dune to build the C runtime
#84
samoht
closed
4 years ago
1
Travis, Cirrus CI: Update for OCaml 4.11
#83
mato
closed
3 years ago
8
nolibc: Fix posix_memalign() return values
#82
mato
closed
4 years ago
1
Add support for Solo5/xen bindings, posix_memalign()
#81
mato
closed
4 years ago
2
nolibc: Implement assert()
#80
mato
closed
4 years ago
0
Get rid of calls to opam when using opam
#79
kit-ty-kate
closed
3 years ago
3
aarch32 support
#78
TImada
opened
4 years ago
1
Next release (0.6.0)
#77
mato
closed
4 years ago
8
Build system cleanups, provide minimal <inttypes.h>
#76
mato
closed
4 years ago
1
install all caml headers
#75
hannesm
closed
4 years ago
1
V2: Define __ocaml_freestanding__, fix the endian.h mess
#74
mato
closed
4 years ago
5
Provide byte-swapping functions in endian.h, pass -D__ocaml_freestanding__ via CFLAGS
#73
hannesm
closed
4 years ago
10
remove support for 4.06 and 4.07
#72
hannesm
closed
4 years ago
3
could endian.h be enhanced with htobe64 and be64toh
#71
hannesm
closed
4 years ago
4
ocaml-freestanding fails to build on OpenBSD
#70
adamsteen
closed
4 years ago
4
Compilation fail into a Docker container (bubblewrap)
#69
dinosaure
closed
4 years ago
4
Add support for OCaml 4.10
#68
kit-ty-kate
closed
4 years ago
13
add cirrus with two FreeBSD runners: one on 4.08.1, one on 4.09.0
#67
hannesm
closed
4 years ago
1
Provide libdir, ld and ldflags into the distribution to be usable by dune
#66
dinosaure
closed
4 years ago
10
Build system cleanups
#65
hannesm
closed
4 years ago
10
Drop support for OCaml 4.05.0
#64
hannesm
closed
4 years ago
0
openbsd int64 formatter
#63
cfcs
closed
4 years ago
4
ocaml 4.09.0 support
#62
hannesm
closed
5 years ago
1
configure: fix 4.08+ case; support >= 4.08.1+rc3
#61
hannesm
closed
5 years ago
2
How to add support for <inttypes.h>
#60
emillon
closed
4 years ago
2
Add support for Solo5 "spt" (seccomp) target
#59
mato
closed
5 years ago
0
add support for OCaml 4.08.0 release
#58
avsm
closed
5 years ago
1
Makefile: Use awk instead of sed
#57
mato
closed
5 years ago
0
fixes for BSD sed compatibility
#56
hannesm
closed
5 years ago
3
travis: add a POST_INSTALL_HOOK that links a unikernel
#55
hannesm
closed
5 years ago
3
dlmalloc: expose struct mallinfo mallinfo () -- malloc statistics
#54
hannesm
closed
5 years ago
4
do not claim to support POSIX_SIGNALS, provide alternative symbols
#53
hannesm
closed
5 years ago
2
allow non-opam installations
#52
hannesm
closed
5 years ago
9
Fix system compiler
#51
hannesm
closed
5 years ago
2
Expose flags though files and enable the use of -runtime-variant
#50
TheLortex
closed
5 years ago
6
use solo5_abort in abort
#49
hannesm
closed
5 years ago
1
dlmalloc: Enable heap canaries
#48
mato
closed
3 years ago
0
gmp-freestanding, zarith-freestanding: Update to build with SSP, disable any use of -fPIC
#47
mato
closed
5 years ago
7
Solo5 bindings for Genode
#46
ehmry
closed
5 years ago
0
install an empty META file
#45
hannesm
closed
5 years ago
3
Migrate to OPAM 2
#44
hannesm
closed
5 years ago
1
Heap bounds check for non-contiguous memory
#43
ehmry
closed
5 years ago
1
Provide for OCaml 4.07.1
#42
g2p
closed
5 years ago
1
Update to Solo5 0.4.0 OPAM package names
#41
mato
closed
6 years ago
0
Prepare to release v0.3.1
#40
mato
closed
6 years ago
0
OCaml 4.07 support
#39
hannesm
closed
6 years ago
16
Previous
Next