dOSEK - The Depenability Oriented Static Embedded Kernel