Pinned Repositories
accent
A single accent, single column Jekyll Theme
clothsimulation
Computer Graphics Course Project, OpenGL-simulated Cloth
keystone
Keystone Enclave (QEMU)
sanctum_bootloader
telegram-keyword-detector
This bot detects keywords from any chat rooms and send an alert to the subscribers. Evil eavesdropper!
vim
personal vim setting
graphene
Graphene / Graphene-SGX - a library OS for Linux multi-process applications, with Intel SGX support
keystone
Keystone Enclave (QEMU + HiFive Unleashed)
silveroak
Formal specification and verification of hardware, especially for security and privacy.
dayeol's Repositories
dayeol/keystone
Keystone Enclave (QEMU)
dayeol/vim
personal vim setting
dayeol/asylo
Asylo Framework
dayeol/bedrock2
A work-in-progress language and compiler for verified low-level programming
dayeol/chipyard
An Agile RISC-V SoC Design Framework with in-order cores, out-of-order cores, accelerators, and more
dayeol/dayeol.github.io
dayeol/esp-isa-sim
Custom extensions to the RISC-V isa simulator for the UCB-BAR ESP project
dayeol/firesim
FireSim: Easy-to-use, Scalable, FPGA-accelerated Cycle-accurate Hardware Simulation in the Cloud (e.g. RISC-V Rocket Chip, BOOM, and more)
dayeol/fission
Fast and Simple Serverless Functions for Kubernetes
dayeol/gemmini
Berkeley's Systolic Array Generator
dayeol/gemmini-rocc-tests
Fork of seldridge/rocket-rocc-examples with tests for a systolic array based matmul accelerator
dayeol/graphene
Graphene / Graphene-SGX - a library OS for Linux multi-process applications, with Intel SGX support
dayeol/homebrew-riscv
homebrew (macOS) packages for RISC-V toolchain
dayeol/hydra-jekyll-template
:dragon: Product marketing template for Jekyll
dayeol/jekyll-TeXt-theme
💎 A super customizable Jekyll theme for personal site, team site, blog, project, documentation, etc.
dayeol/linux-keystone-driver
Loadable Module for Keystone Enclave
dayeol/linux-sgx-driver
Intel SGX Linux* Driver
dayeol/memcached
memcached development tree
dayeol/openenclave
SDK for developing enclaves
dayeol/riscv-assembly-helper
dayeol/riscv-linux
RISC-V Linux Port
dayeol/riscv-sbi-doc
Documentation for the RISC-V Supervisor Binary Interface
dayeol/riscv-software-list
The RISC-V software tools list, as seen on riscv.org
dayeol/rocket-chip-1
Rocket Chip Generator
dayeol/seL4
The seL4 microkernel
dayeol/SGXDataCenterAttestationPrimitives
dayeol/silveroak
Formal specification and verification of hardware, especially for security and privacy.
dayeol/sm
Keystone Security Monitor Library (for both OpenSBI and bbl)
dayeol/TAPC
dayeol/udmabuf
User space mappable dma buffer device driver for Linux.