corvad/os

A microkernel operating system.

0

stars

6

commits

C

primary language

Sep 13, 2026

updated

README

os

A microkernel operating system.

Contributors

6 commits

See what people are saying

Hacker News (1)

Ask HN: What are you working on? (September 2026)

0 points · Sep 14, 2026

Similar repos

jubalh/awesome-os

A list of operating systems and stuff

2,273

TheJostler/voxos

This is a Linux distribution written in pure Vox

0

YuKongA/HyperOS_XXL

[Xposed] 自用大杂烩

35

haikuports/haikuports

Software ports for the Haiku operating system.

530

redox-os/redox

Mirror of https://gitlab.redox-os.org/redox-os/redox

16,570

skift-org/skift

🥑 A modern delightful operating system (mirror)

2,982

ZababurinSergei/DevOps

DevOps

0

gurusha01/MAC

0

Languages

C

82.7%

Assembly

8.7%

Makefile

5.8%

Linker Script

2.8%

corvad/os

A microkernel operating system.

0

stars

6

commits

C

primary language

Sep 13, 2026

updated

README

os

A microkernel operating system.

See what people are saying

Hacker News (1)

Ask HN: What are you working on? (September 2026)

0 points · Sep 14, 2026

Similar repos

jubalh/awesome-os

A list of operating systems and stuff

2,273

TheJostler/voxos

This is a Linux distribution written in pure Vox

0

YuKongA/HyperOS_XXL

[Xposed] 自用大杂烩

35

haikuports/haikuports

Software ports for the Haiku operating system.

530

redox-os/redox

Mirror of https://gitlab.redox-os.org/redox-os/redox

16,570

skift-org/skift

🥑 A modern delightful operating system (mirror)

2,982

ZababurinSergei/DevOps

DevOps

0

gurusha01/MAC

0

Contributors

6 commits

Languages

C

82.7%

Assembly

8.7%

Makefile

5.8%

Linker Script

2.8%