Web/App Dev? Nah, I Speak Binary!
- NIT, Hamirpur, Himachal Pradesh 177005
-
01:13
(UTC +05:30) - https://terminal.utkarshlabs.tech
- https://utkarshlabs.tech
- https://cal.com/utkarsh-maurya/30min
Highlights
- Pro
Search results
2 open and 0 closed projects found.- #2 updated
May 30, 2025 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. - #1 updated
May 22, 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.