boin - osdev

Some osdev work.

Last Generated: Sat Oct 11 07:20:24 PM PDT 2025

inkros - ink research os?

Userland on top of NOVA microhypervisor.

Written in C++ with an embedded forth-like language.

License

Code in this repo is licensed under The MIT License while the NOVA Microhypervisor is licensed under GNU General Public License version 2.

Release Notes

Release 0.0.5

Download: inkros-0.0.5.tar.gz

SHA256SUM: 1825da050cf3de0460f62986f14fc8bc6278d9c29596fd59f716e48fdaeb358e inkros-0.0.5.tar.gz

Oct 11, 2025 - Big release

• Working forth word definitions in the user space
  
• Working C++ UART
  
• Working inkforth UART
  
• Page fault plumbing
  • Handler for General Protection Fault
    
  • Handler for Page Fault
    
• Early subprocess spawning via NOVA syscalls.
  
• inkforth word buildtins for system calls to NOVA
  and some higher-level ones for memory mapping.
  
• Support for loading inkforth scripts via multiboot2!

Release 0.0.4

Download: inkros-0.0.4.tar.gz

SHA256SUM: 31872c90745b63d7900dd93321aa3113b5ee11b46b6cc70e387a842d7c7b604a inkros-0.0.4.tar.gz

Oct 2, 2025 - Working nested loops and a print-like loop example in inkforth.

Release 0.0.3

Download: inkros-0.0.3.tar.gz

SHA256SUM: 7d4ff089e50864ccbb92418874de349ad666171c920af523d1406afbde3beff7 inkros-0.0.3.tar.gz

Sept 30, 2025 - More working inkforth interpreter. Working syscalls that initialize memory for multiboot2 and UART, verified working UART output in both C++ and inkforth. More annotations and comments.

Release 0.0.2

Download: inkros-0.0.2.tar.gz

SHA256SUM: 909e93b44b6f45cfa0fce2db92a7cfb3f018216ff41ee982d78a71bb0c46a875 inkros-0.0.2.tar.gz

Sept 27, 2025 - C++ entrypoint, incomplete inkforth interpreter example non-working scripts that perform requires syscalls for Serial IO (UART), Multiboot2, and general memory mapping.

Release 0.0.1

Download: inkros-0.0.1.tar.gz

SHA256SUM: 789d009aa3f32c075a86625b22f2c9cb89100f012b25f7f838d76d145f1295c3 inkros-0.0.1.tar.gz

Sept 26, 2025 - Simple build scripts, NOVA compiling and running, booting into a rootpd that shuts down via syscall