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
firesim
FireSim: Easy-to-use, Scalable, FPGA-accelerated Cycle-accurate Hardware Simulation in the Cloud (e.g. RISC-V Rocket Chip, BOOM, and more)
fission
Fast and Simple Serverless Functions for Kubernetes
gemmini
Berkeley's Systolic Array Generator
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
hunspell
The most popular spellchecking library.
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
memcached
memcached development tree
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)
udmabuf
User space mappable dma buffer device driver for Linux.