Pinned Repositories
AMDSEV
AMD Secure Encrypted Virtualization
brlaser
Brother laser printer driver
chex_latex
LaTeX file checking tools
configurations
extractmd
extract and analyze ext4 metadata
GamesmanGames
HermitCore
A Unikernel for Extreme-Scale Computing
Invyswell
Virginia Tech ECE 4984 Transactional Programming
leetcode
Multiprocessor_Programming
ECE/CS 5510 Multiprocessor Programming Fall 2018
mincheolsung's Repositories
mincheolsung/Multiprocessor_Programming
ECE/CS 5510 Multiprocessor Programming Fall 2018
mincheolsung/AMDSEV
AMD Secure Encrypted Virtualization
mincheolsung/brlaser
Brother laser printer driver
mincheolsung/chex_latex
LaTeX file checking tools
mincheolsung/configurations
mincheolsung/extractmd
extract and analyze ext4 metadata
mincheolsung/GamesmanGames
mincheolsung/HermitCore
A Unikernel for Extreme-Scale Computing
mincheolsung/Invyswell
Virginia Tech ECE 4984 Transactional Programming
mincheolsung/leetcode
mincheolsung/libhermit-rs
RustyHermit: A Rust-based, lightweight unikernel
mincheolsung/linux
Linux kernel source tree
mincheolsung/rop-exploit
This is a simple ROP exploit that opens a shell
mincheolsung/rumprun-fs
Rumprun (SMP version)
mincheolsung/sel4-tutorials-manifest
mincheolsung/sel4bench
sel4 benchmarking applications and support library.
mincheolsung/Special-topic-parallel-programming
mincheolsung/Transactional_Programming_Projects
ECE 4984 Transactional Programming Projects, Spring 2018
mincheolsung/v8
RockJIT-protected v8
mincheolsung/vim-better-whitespace
Better whitespace highlighting for Vim
mincheolsung/Virtualization_Technologies_Projects
ECE 5984 Virtualization Technologies Projects, Spring 2018
mincheolsung/VT_Project3_Hermitcore
Virginia Tech ECE 5984 Virtualization Technologies