index: microkernel -> small kernel

RIOT-OS / riot-os.org

Sources of the RIOT website https://riot-os.org/.

4 stars 16 forks source link

index: microkernel -> small kernel #114

Closed benpicco closed 8 months ago

benpicco commented 8 months ago

Don't call RIOT a microkernel, that just sets the wrong expectations. We only have threads, but no separation between them or any notion of kernel/userspace. By that notion Linux would also be a microkernel.

github-actions[bot] commented 8 months ago

🚀 PR preview deployed to https://RIOT-OS-riot-os-org-preview-114.surge.sh