Pinned Repositories
patchwork
Patchwork is a web-based patch tracking system designed to facilitate the contribution and management of contributions to an open-source project.
PaStA
The Patch Stack Analysis
TUM.sexy
A website providing links, redirects and tools related to the Technical University Munich :dancer::books:
kernel-vs-verified-rbt
musllibc
PaStA
The Patch Stack Analysis
PaStA-resources
patchwork
Patchwork is a web-based patch tracking system designed to facilitate the contribution and management of contributions to an open-source project.
read-dwarf
Binary analysis tool
seL4
The seL4 microkernel
metp's Repositories
metp/kernel-vs-verified-rbt
metp/musllibc
metp/PaStA
The Patch Stack Analysis
metp/PaStA-resources
metp/patchwork
Patchwork is a web-based patch tracking system designed to facilitate the contribution and management of contributions to an open-source project.
metp/read-dwarf
Binary analysis tool
metp/seL4
The seL4 microkernel