xlab-uiuc
Pinned Loading
Repositories
Showing 10 of 90 repositories
- Fast-and-Safe-IO-Memory-Protection Public Forked from host-architecture/Fast-and-Safe-IO-Memory-Protection
xlab-uiuc/Fast-and-Safe-IO-Memory-Protection’s past year of commit activity - rex Public Forked from rex-rs/rex
Rex is a safe and usable kernel extension framework that allows loading and executing Rust kernel extension programs in the place of eBPF.
xlab-uiuc/rex’s past year of commit activity - anvil Public Forked from anvil-verifier/anvil
This is a VMware Research Group project. It is an experimental framework to build practical, formally verified, cluster management controllers.
xlab-uiuc/anvil’s past year of commit activity - linux-CPU-bw Public Forked from torvalds/linux
Source for observing scheduler behavior of bandwidth controlled applications - catcloud-6.12.0 is the most recent branch
xlab-uiuc/linux-CPU-bw’s past year of commit activity