kernel

kernel

Haggion

A kernel for RISCV64 computers written in Ada

kernel
View on GitHub Website
42 Stars
1 Forks
1 Watchers
Ada Language
gpl-3.0 License
79.4 SrcLog Score
Cost to Build
$12.3K
Market Value
$16.1K
How is this calculated?

Growth over time

8 data points  ·  2026-04-08 → 2026-10-17
Stars Forks Watchers
💬

How do you feel about this project?

Ask AI about kernel

Question copied to clipboard

What is the Haggion/kernel GitHub project? Description: "A kernel for RISCV64 computers written in Ada". Written in Ada. Explain what it does, its main use cases, key features, and who would benefit from using it.

Question is copied to clipboard — paste it after the AI opens.

🏆 Show off this rank

Haggion/kernel on SrcLog (holo style)

Add it to a GitHub README or profile — the card updates as the ranking changes:

How to clone kernel

Clone via HTTPS

git clone https://github.com/Haggion/kernel.git

Clone via SSH

[email protected]:Haggion/kernel.git

Download ZIP

Download main.zip

Found an issue?

Report bugs or request features on the kernel issue tracker:

Open GitHub Issues

Similar to kernel

gvisor raspberry-pi-os reactos build-linux cilium spectre-meltdown-checker toaruos linux-insides-zh windows-kernel-exploits syzkaller linux-kernel-exploits rt-thread blog_os gophernotes pmbootstrap tock build simplefs u-root kernelpop SpecuCheck xos ksm sparkmagic PowerNex frakti Diamorphine The_Holy_Book_of_X86 jupyter-c-kernel kAFL