Match: Embedded operating systems