SX "An Embeddable System eXecutive Kernel and OS"