Systems Research Group @ TUM

@TUM-DSE

Popular repositories Loading

The servers configurations of https://dse.in.tum.de/

Nix 44 16
Evaluation code for confidential virtual machines (AMD SEV-SNP / Intel TDX)

Python 14 4
Computer Systems Lab

11 2

Showing 10 of 102 repositories

TUM-DSE/svsm’s past year of commit activity

C
1
MIT
74 0 1
Updated Mar 4, 2026
TUM-DSE/Wallet-VMPL’s past year of commit activity

C
14
GPL-3.0
3 4 2
Updated Mar 4, 2026
TUM-DSE/doctor-cluster-config’s past year of commit activity

Nix
44
MIT
16 2 4
Updated Mar 4, 2026
proteus Public
Heterogeneous FPGA virtualization

TUM-DSE/proteus’s past year of commit activity

Shell 0 0
0 0
Updated Mar 3, 2026
TUM-DSE/edk2-guardian’s past year of commit activity

C 0 0
0 7
Updated Mar 2, 2026
TUM-DSE/gramine-svsm’s past year of commit activity

C
1
LGPL-3.0
226 0 1
Updated Mar 1, 2026
TUM-DSE/slick-linux’s past year of commit activity
dpdk-cvms Public
DPDK fork with various branches with various (CVM related) patches

TUM-DSE/dpdk-cvms’s past year of commit activity

C 0 0
0 0
Updated Feb 22, 2026
TUM-DSE/nixpkgs’s past year of commit activity

Nix 0 MIT
18,347 0 0
Updated Feb 18, 2026
TUM-DSE/proteus-unikernel’s past year of commit activity

C++ 0 Apache-2.0 0
0 0
Updated Feb 17, 2026

Loading…