The book Capability-Based Computer Systems by [Henry M. Levy] forms a good introduction here. The TenDRA project is as described on the project page a ‘compiler framework for architecture ...

Prior knowledge needed: ECEA 5315 Concept and Practices, C Programming and Compilation Pipeline, Computer System Architecture, Operating Systems Concepts, Linux based Systems, C Programming and ...

Prior knowledge needed: C Programming and Compilation Pipeline, Computer System Architecture, Operating Systems Concepts, Linux based Systems ...