kernal, a scriptable firmware kernel for the pic32

my current project is a scriptable firmware kernel named "kernal". it is designed for midrange embedded CPUs with extremely limited resources. kernal provides many operating-system features, such as a filesystem, a network stack, hardware peripheral apis, etc. as libraries. at its core, kernal is running a tcl interpreter which allows the firmware to be scripted to do useful things. i am currently targeting pic32 boards, specifically the pic32 ethernet starter kit ii from microchip. the project is not yet online anywhere.

Proxied content from gemini://
Status code 20 SUCCESS
Meta text/gemini; lang=en
Certificate Common Name
Certificate Fingerprint (SHA-256) 4H0tJzp3mhDCMb6oQi+QMX5nbxBqTLfpxYvPXkuDnMI=
Certificate Not Before 2021-01-26 04:17:33 +0000 UTC
Certificate Not After 2026-01-26 04:17:33 +0000 UTC