• Anton Burtsev's avatar
    LCD API client and server code · fc2675ff
    Anton Burtsev authored
      -- LCD export an API to its domains that is accessible via
      capability invocations (well, syscalls if you like)
    
      -- Kernel runs a thread that implement this API, e.g. serves
      capability invocations
    fc2675ff
ipc.h 425 Bytes