-
-- 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
-- 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