with Rose.Capabilities;

package Rose.Devices.Kernel is

   procedure Enable_Invocation_Logging
     (Kernel_Cap : Rose.Capabilities.Capability;
      Enabled    : Boolean);

end Rose.Devices.Kernel;
