gthvn1 / mini-zos

A unikernel written in zig that runs on top of Xen and provides runtime for Wasm binaries...

Monkey Islang

Ahoy and welcome, dear voyager, to the shores of Monkey Islang! A curious haven nestled amidst the vast expanse of the digital ocean. Islang, reminiscent of the tales spun around the mystical Island, hosts within its embrace two grand endeavors tethered to the legendary MonkeyLang.

---

These pursuits unfold as an ersatz of a kernel, akin to the core of an enigmatic engine, and an interpreter—an ethereal conduit to the realms of syntax and semantics. Verily, it is an expedition of pure exploration, where the only aspiration is the ceaseless unraveling of these twin universes.

For this wondrous odyssey, we embark with three delightful vehicles, chariots of innovation: Ocaml, Rust, Zig... each bearing its own flair and enchantment. With these, we shall chart our course through the uncharted.

Ah, the mysteries that await, the uncharted territories we shall traverse! Join us, dear reader, as we unravel the unknown and set sail toward the unexplored horizons of possibility...

mini-zos's Issues

xc says that kernel is invalid because no loader found...

First try... we didn't expect it to work so it is not a deception 😄

[20:45 xcp-ng-ijrfa ~]# xl create minizos.cfg -c
Parsing config from minizos.cfg
xc: error: panic: xc_dom_core.c:692: xc_dom_find_loader: no loader found: Invalid kernel
libxl: error: libxl_dom.c:749:libxl__build_dom: xc_dom_parse_image failed
libxl: error: libxl_create.c:1420:domcreate_rebuild_done: Domain 2:cannot (re-)build domain: -3
libxl: error: libxl_domain.c:1177:libxl__destroy_domid: Domain 2:Non-existant domain
libxl: error: libxl_domain.c:1131:domain_destroy_callback: Domain 2:Unable to destroy guest
libxl: error: libxl_domain.c:1058:domain_destroy_cb: Domain 2:Destruction of domain failed

Add a custom panic

Add ELFNOTE

Xen relies on ELFNOTE to get information from the guest. For example in mini-os:arch/x86/x86_64.S we can see:

ELFNOTE(Xen, XEN_ELFNOTE_GUEST_OS, .asciz "Mini-OS")
ELFNOTE(Xen, XEN_ELFNOTE_LOADER, .asciz "generic")
ELFNOTE(Xen, XEN_ELFNOTE_HYPERCALL_PAGE, _WORD hypercall_page)
ELFNOTE(Xen, XEN_ELFNOTE_XEN_VERSION, .asciz "xen-3.0")

We need to add this kind of information.

Use @call instead of the asm to setup the stack

Use hypercall to write an hello world

Use zig to build mini-zos instead of the Makefile

Get information into start info page