Systems Research Group @ TUM

Skip to content

Navigation Menu

Sign in

Appearance settings

Popular repositories Loading

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

    Nix 44 16

  2. Evaluation code for confidential virtual machines (AMD SEV-SNP / Intel TDX)

    Python 14 4

  3. Computer Systems Lab

    11 2

Repositories

Type
Select type

Language
Select language

Sort
Select order

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

Most used topics

Loading…