Modular and configurable OS for embedded applications - embox/embox