Dayeol Lee's repositories
bedrock2
A work-in-progress language and compiler for verified low-level programming
chipyard
An Agile RISC-V SoC Design Framework with in-order cores, out-of-order cores, accelerators, and more
esp-isa-sim
Custom extensions to the RISC-V isa simulator for the UCB-BAR ESP project
gemmini-rocc-tests
Fork of seldridge/rocket-rocc-examples with tests for a systolic array based matmul accelerator
graphene
Graphene / Graphene-SGX - a library OS for Linux multi-process applications, with Intel SGX support
homebrew-riscv
homebrew (macOS) packages for RISC-V toolchain
hydra-jekyll-template
:dragon: Product marketing template for Jekyll
jekyll-TeXt-theme
💎 A super customizable Jekyll theme for personal site, team site, blog, project, documentation, etc.
linux-keystone-driver
Loadable Module for Keystone Enclave
linux-sgx-driver
Intel SGX Linux* Driver
openenclave
SDK for developing enclaves
riscv-linux
RISC-V Linux Port
riscv-sbi-doc
Documentation for the RISC-V Supervisor Binary Interface
riscv-software-list
The RISC-V software tools list, as seen on riscv.org
rocket-chip-1
Rocket Chip Generator
seL4
The seL4 microkernel
silveroak
Formal specification and verification of hardware, especially for security and privacy.
sm
Keystone Security Monitor Library (for both OpenSBI and bbl)