Pinned Loading

1. kth-step/s3k kth-step/s3k Public

   Capability-based real-time separation kernel for secure embedded RISC-V.

   C 17 10

2. kth-step/HolBA kth-step/HolBA Public

   Binary analysis in HOL

   Standard ML 47 22

3. castor-software/openmz castor-software/openmz Public

   OpenMZ, a security kernel for RISC-V targeting secure coprocessors and secure embedded systems.

   Assembly 14 2

4. openmcz openmcz Public

   C

5. kth-step/libs3k kth-step/libs3k Public

   User-space library for S3K.

   C