TY - RPRT TI - Definition of an auxiliary processor dedicated to real-time operating system kernels AU - Halang, Wolfgang A. PY - 1988 UR - https://ntrs.nasa.gov/citations/19880017476 ID - 19880017476 ER -