Anton Burtsev authored Jul 15, 2014 and Vikram Narayanan committed Oct 25, 2016

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