[K42-discussion] K42 pieces

[Patrick G. Bridges]

So, just to make sure I have everything straight in my mind:

The major pieces of K42/Linux are:
1) The kernel itself
    - Protected procedure calls,
    - Memory management
    - Dispatcher scheduling support
    - Linux kernel core functionality (mainly drivers and network stack)
2) Base servers - a collection of user-level servers packaged into a  
single address space to ease
    booting and performance
    - kfs
    - loadImage
    - pty (including pty code from linux kernel)
    - pipe
    - dev
3) exec.so - A shared library dynamically linked into every user- 
level application (excepting baseServers)
              at a fixed address that intercepts a number of system  
and library calls from glibc
    - includes linux emulation library code that intercepts dynamic  
library system calls and vectors them to
      the appropriate K42 servers (e.g. in baseServers) (libemu.a)
    - includes stubs for calling the various K42 servers (libbase.a)

Are statically linked linux system calls intercepted by the kernel  
and vectored back to the shared library somehow?