This is the early skeleton of what will become the kernel in Sentinel 65X. It will provide the hardware and protocol drivers and core API used by the C library, as well as an assembly language kernel API.