pico]OS Realtime Operating System

See also http://github.com/AriZuu/picoos