SATNKernel-Examples Example projects for SATNKernel Example 1 A simple "Hello world"-type example with two tasks writing to the USB devcart I/O port.