TinyKernel

TinyKern

Tiny Kernel is a work in progress Operating System kernel.

kernel

View on GitHub Website

16 Stars

4 Forks

16 Watchers

C Language

apache-2.0 License

Cost to Build

$60.5K

Market Value

$61.9K

How is this calculated?

Growth over time

6 data points · 2021-11-01 → 2023-06-01

Stars Forks Watchers

💬

How do you feel about this project?

Ask AI about TinyKernel

Question copied to clipboard

What is the TinyKern/TinyKernel GitHub project? Description: "Tiny Kernel is a work in progress Operating System kernel.". Written in C. 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.

How to clone TinyKernel

Clone via HTTPS

git clone https://github.com/TinyKern/TinyKernel.git

Clone via SSH

[email protected]:TinyKern/TinyKernel.git

Download ZIP

Download master.zip

Found an issue?

Report bugs or request features on the TinyKernel issue tracker:

Open GitHub Issues

Similar to TinyKernel

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