URT: Unix Runtime Support
SPIN borrows code from Digitial Unix V3.2 that implements
device management, Berkeley memory buffers, sockets and support for
TCP. This code is very low-level and not designed to be used by
untrusted extensions, and exporting direct access to these services
may enable extensions to subvert system integrity.
URT is a trusted system extension that bridges the gap
between untrusted system and the borrowed unix code. URT
defines Modula-3 types for kernel data structures (such as
mbufs, uio, socket, etc.), and interfaces to existing Unix services.
Presently, URT is designed to work with a Digital Unix V3.2
based SAL.
URT is currently split into two subsystems that can be linked
separately. URT core provides a set of
basic interfaces, whereas URT net provides
services that are specific to the networking code found in Digital
Unix V3.2.
Marc Fiuczynski
DAY/MONTH/YEAR