ETA/OS is a kernel/operating system aimed at small chips.