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

  -- I've split capability allocation and cspaces, this makes much more
     sense -- complex domains can implement custom allocation policies,
     simple domains go with a static set of caps
  -- This is a list-based (zone like) allocator