tcsantini / dosek Goto Github PK
View Code? Open in Web Editor NEWThis project forked from danceos/dosek
dOSEK - A Dependability Oriented Static Embedded Kernel
Home Page: https://www4.cs.fau.de/Research/dOSEK
License: GNU Lesser General Public License v3.0