web/app dev? nah, i speak binary!
-
17:21
(UTC +05:30) - https://cal.com/utkarsh-maurya/30min
- https://www.kernex.sbs/
- https://cv.kernex.sbs/
Highlights
- Pro
Search results
2 open and 0 closed projects found.- MicroBPF-Kernel brings together the formal verification of seL4, the performance efficiency of Unikraft unikernels, and the dynamic programmability of eBPF, all tailored for single-core RISC-V systems. Built for the next generation of IoT and edge computing, MicroBPF-Kernel aims to deliver security.#2 updated
May 30, 2025 - I wanted to understand how computers really work — not just run code on top of a stack of abstractions, but build the stack myself. That meant starting from the boot sector and climbing my way up toward user programs, a file system, multitasking, and more.#1 updated
May 22, 2025