POSIX 1003.1c RT-kernel for small embedded devices