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.