index
:
robu_microkernel.git
main
A microkernel written from scratch in C and assembly, built on one premise: the performance cost of a microkernel is an engineering problem, not a law of nature.
Kiyanoush BAYAR
summary
refs
log
tree
commit
diff
log msg
author
committer
range
Branch
Commit message
Author
Age
main
fix percpu.c merge that left both sides of a resolved conflict concatenated, ...
Kiyanoush (DEHSHAT) BAYAR
20 hours
Age
Commit message
Author
20 hours
fix percpu.c merge that left both sides of a resolved conflict concatenated, ...
main
Kiyanoush (DEHSHAT) BAYAR
20 hours
Merge remote-tracking branch 'origin/main'
Kiyanoush (DEHSHAT) BAYAR
20 hours
fall back to a native build when Docker/Podman's daemon isn't reachable inste...
Kiyanoush (DEHSHAT) BAYAR
21 hours
Merge pull request #10 from mikeblas/fixOffset
Kiyanoush BAYAR
21 hours
add make run-gui to launch a graphical QEMU window for interactive VGA/PS2 te...
Kiyanoush (DEHSHAT) BAYAR
21 hours
move the PS2/UART console driver to userspace, fix VT-switch content loss, an...
Kiyanoush (DEHSHAT) BAYAR
22 hours
Merge branch 'main' into fixOffset
Kiyanoush BAYAR
22 hours
remove trap_dispatch's dead return after sched_resume, which is already decla...
Kiyanoush (DEHSHAT) BAYAR
22 hours
remove stale, unreferenced Makefile.bak that was accidentally committed, fixe...
Kiyanoush (DEHSHAT) BAYAR
22 hours
fix percpu.c's non-constant offsetof macro by using stddef.h's offsetof so th...
Kiyanoush (DEHSHAT) BAYAR
[...]