HAKarlsson
Ph.D. student in Formal Methods and Computer Security at KTH Royal Institute of Technology
KTH Royal Institute of TechnologyStockholm, Sweden
Pinned Repositories
openmz
OpenMZ, a security kernel for RISC-V targeting secure coprocessors and secure embedded systems.
cheshire
A minimal Linux-capable 64-bit RISC-V SoC built around CVA6
cva6
This is the fork of CVA6 intended for PULP development.
dardel
Basic how to use PDC Dardel for DD2443.
dockerfiles
freedom-u540-c000-bootloader
Freedom U540-C000 Bootloader Code
hakarlsson
openmz
OpenMZ, a security kernel for embedded RISC-V applications.
HolBA
Binary analysis in HOL
s3k
Capability based separation Kernel for embedded RISC-V.
HAKarlsson's Repositories
HAKarlsson/openmz
OpenMZ, a security kernel for embedded RISC-V applications.
HAKarlsson/cheshire
A minimal Linux-capable 64-bit RISC-V SoC built around CVA6
HAKarlsson/cva6
This is the fork of CVA6 intended for PULP development.
HAKarlsson/dardel
Basic how to use PDC Dardel for DD2443.
HAKarlsson/dockerfiles
HAKarlsson/freedom-u540-c000-bootloader
Freedom U540-C000 Bootloader Code
HAKarlsson/hakarlsson
HAKarlsson/HOL
Not-Canonical sources for HOL4 theorem-proving system. Branch k14 is the kananaskis-14 with my fixes.
HAKarlsson/kth-beamer
A (very) simple beamer theme for KTH presentations
HAKarlsson/HolBA
Binary analysis in HOL
HAKarlsson/multizone-api
Multi Zone Free and Open API
HAKarlsson/ns16550a
⌨️ RISC-V NS16550A UART driver
HAKarlsson/openmcz
HAKarlsson/peterson
HAKarlsson/PolyLib
A library of functions and structures for PolyML
HAKarlsson/s3k
Separation Kernel for embedded RISC-V.
HAKarlsson/scap