Pinned Loading

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

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

   C 15 9

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

   Binary analysis in HOL

   Standard ML 46 21

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. libserio libserio Public

   A minimalistic I/O library designed to provide essential input and output operations for serial communication in embedded systems.

   C

5. openmcz openmcz Public

   C

6. kth-step/libs3k kth-step/libs3k Public

   User-space library for S3K.

   C