mirage mirage-solo5 issues

mirage / mirage-solo5

Solo5 core platform libraries for MirageOS

ISC License

20 stars 21 forks source link

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

Implement OS common interface

#49 TheLortex closed 5 years ago
1
Separate API

#48 TheLortex closed 5 years ago
2
Port to dune

#47 TheLortex closed 4 years ago
3
Update to new Solo5 "manifest"-style APIs

#46 mato closed 5 years ago
5
Port to dune, using exposed flags from ocaml-freestanding, and separate common and internal APIs

#45 TheLortex closed 5 years ago
4
Port to dune

#44 TheLortex closed 5 years ago
4
provide a malloc statistics source (mallinfo) via the metrics library

#43 hannesm closed 5 years ago
3
Replace depreciated modules

#42 pascutto closed 5 years ago
10
Port Mirage/Solo5 packages to Dune

#41 g2p closed 4 years ago
3
install mirage-solo5.pc to lib/pkconfig (instead of share/pkgconfig)

#40 hannesm closed 5 years ago
5
opam: Bump ocaml-freestanding dependency to >= 0.4.1

#39 mato closed 6 years ago
0
{block, net} stubs: Pass through Cstruct.buffer.off

#38 mato closed 6 years ago
1
{block, net} stubs: Cstruct.buffer.off is ignored

#37 mato closed 6 years ago
1
opam: upgrade to 2.0

#36 hannesm closed 6 years ago
0
Solo5 bindings for Genode

#35 ehmry closed 6 years ago
0
remove Env module

#34 hannesm closed 6 years ago
0
Command-line inputs: bad parsing?

#33 cmovcc closed 5 years ago
15
Update for Solo5 0.4.0 renaming

#32 mato closed 6 years ago
0
Prepare to release v0.3.0

#31 mato closed 6 years ago
0
Porting ukvm to OpenBSD vmm APIs

#30 adamsteen closed 6 years ago
0
pass -custom to ocamlmklib

#29 hannesm closed 6 years ago
3
New API of Solo5

#28 dinosaure closed 6 years ago
1
Adapt to Solo5 API changes, refactor stubs

#27 mato closed 6 years ago
3
Adapt to Solo5/ocaml-freestanding malloc() API changes

#26 mato closed 6 years ago
0
opam, Travis: Switch to Solo5 master for development

#25 mato closed 6 years ago
0
in 0.2.1 (released 15th June 2017), the io-page stubs were renamed

#24 hannesm closed 6 years ago
3
aarch64 support

#23 mato closed 7 years ago
1
mprotect: EACCES

#22 djs55 closed 7 years ago
5
Update CHANGES.md for 0.2.1

#21 djs55 closed 7 years ago
0
Add caml_get_addr

#20 djs55 closed 7 years ago
5
stub_console_write: return number of bytes written

#19 hannesm closed 7 years ago
1
remove Env module from OS -- the only symbol, argv, returns an empty array

#18 hannesm closed 6 years ago
4
Cleanup and remove verbosity

#17 mato closed 7 years ago
4
mirage-solo5.pc should require ocaml-freestanding

#16 mato closed 7 years ago
0
Port to topkg

#15 mato closed 7 years ago
5
fix deps (ocamlbuild + ocamlfind) in opam

#14 hannesm closed 8 years ago
0
no profile, since solo5 doesn't have any profile support anyways

#13 hannesm closed 8 years ago
2
Use VAR=value to set implicit variables in Makefile

#12 mato closed 8 years ago
0
if poll fails, report and exit

#11 hannesm closed 8 years ago
0
Re-add atomic_stubs.o

#10 mato closed 8 years ago
0
Add Travis CI

#9 mato closed 8 years ago
0
[not yet merge] sleep_ns instead of sleep

#8 hannesm closed 8 years ago
0
FreeBSD support

#7 hannesm closed 8 years ago
2
Stubs for passing command line arguments to Mirage.

#6 mato closed 8 years ago
0
Use solo5_poll() to block in scheduler

#5 mato closed 8 years ago
0
Using solo5 cpu_block to implement block_domain

#4 ricarkol closed 8 years ago
1
solo5-bindings: Sync with ocaml-freestanding changes

#3 mato closed 8 years ago
0
Solo5: Migrate to ocaml-freestanding runtime

#2 mato closed 8 years ago
0
Fix build of solo5-bindings

#1 mato closed 8 years ago
0