We propose to study the feasibility of demonstrating a capability-based operating system running a home control application on an embedded processing platform. Capability-based systems have documented advantages in security and reliability, but no commercial system is available for an embedded… More
We propose to demonstrate the capability-based operating system CapROS running a home control application on the ARM embedded processing platform. Capability-based systems have documented advantages in security and reliability, but no commercial system is available for an embedded processor. The… More