A kernel design for an embedded hardware/software codesign system | lit.salon