OS and embedded system development