-
Moved to a new file, cap_types.c. The microkernel will use one shared type system for all LCD cspaces. This is initialized in cap_types.c when the microkernel initializes.
c17ae9f6
Moved to a new file, cap_types.c. The microkernel will use one shared type system for all LCD cspaces. This is initialized in cap_types.c when the microkernel initializes.