package mkernel
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>
On This Page
An unikernel with Miou in OCaml to provide I/O for Solo5
Install
dune-project
Dependency
Authors
Maintainers
Sources
mkernel-0.0.4.tbz
sha256=3404c089085a170be5bca63fd4463fd5a2f5420e64802055c24d117bcb9e215d
sha512=350e2ebf53057d8a45778584959df6fdc6daf7a652fe31cde01810e80dafcbc02093d3b109909c15aa2bc39cbcca7042953bfea48f530db512b316e62e95a8c4
doc/CHANGES.html
v0.0.4 (2026-08-25)
- Provide malloc statistic (@hannesm, @reynir, !26, !30)
- Introduce
Mkernel.finally(@reynir, @dinosaure, !23) - Rename
Block.pagesizetoBlock.sector_size(@dinosaure, @hannesm, @reynir, !24) - Add stubs for
mirage-mtime(@hannesm, @dinosaure, !25) - Introduce a
Statsmodule (@hannesm, @reynir, !27) - Introduce
Mkernel.now(@dinosaure, @hannesm, !28) - Rename log source (@hannesm, @reynir, !29)
- Embed MAC and MTU into the
Net.t(@hannesm, @dinosaure, !31) - Remove unikraft from the documentation (@hannesm, @dinosaure, !32)
- Use
memcpywhen we copy bigstring (@hannesm, @dinosaure, #34, !36)
v0.0.3 (2026-07-28)
- Clean-up the distribution and remove the unikraft support (@dinosaure, #18)
Add
Mkernel.wakeup(@dinosaure, #18)Mkernel.wakeupis better if you would like to wake up a task at a specific date instead ofMkernel.sleep(which is better for small amount of times)- Fix
Mkernel.wakeup(@dinosaure, #19) - Better way to handle and clean-up sleepers (@dinosaure, #20)
- Delete useless
Gc.compactwhen we trigger a major cycle (@dinosaure, be761d5) - Add
Mkernel.heap_size(@dinosaure, #21)
v0.0.2 (2026-05-06)
- Precise nanoseconds for
clock_{monotonic,wall}(@hannesm, !14) - Run
solo5_yieldevery 100ms to catch possible events even if we don't have (yet) syscalls to consume them and tasks to run (@dinosaure, !15)
v0.0.1 (2026-02-09)
- First public release of
mkernel
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>
On This Page