SPIN Core Services
- auth
- The Authorizer, NameServer and Identity interfaces manage access to
to use kernel services and to extend kernel services.
-
- dispatcher
- The Dispatcher routes events into extensions.
- domain
- The dynamic linker creates and links domains. An extension is a
group of dynamically created domains.
- m3linker
- Specifics of Modula-3 linking
- machine
- Platform independent interfaces and subdirectories for
for the target system implementations.
- memory
- Physical memory interface.
- strands
- The scheduler and threads interface.
- utils
- Minor services for kernel output, debugging and profiling.
becker@cs.washington.edu