Marvin Häuser's repositories
Battery-Toolkit
Control the platform power state of your Apple Silicon Mac.
AmdXnuSupportPkg
Experimental AMD SVM-based type 0 hypervisor spoofing critical parts of an Intel CPU (e.g. CPUID, MSRs, MMIO) aimed to have a low footprint, and to make use of all relevant optimisation techniques AMD provides (e.g. Nested Page Tables).
Custom-Search
Safari Web Extension to customize your search engine.
MastersThesis
Material for the Master's Thesis 'Designing a Secure and Space-Efficient Executable File Format for the Unified Extensible Firmware Interface'.
ISPRASOpen-SecurePE
Conference material for the talk "Securing the EDK II Image Loader" at Ivannikov ISP RAS Open 2020.
SimilarityChecker
Code similarity checker based on editing distances with inbuilt profiles for the C Programming Language, Java and F#.
ejectify-macos
Ejectify automatically unmounts external volumes when your Mac starts sleeping, and mounts them again after it wakes up.
gsoc-2021-edk2-pe-loader
Submission material for the Google Summer of Code 2021 project "Integration of a PE/COFF Loader designed with formal methods" at TianoCore.
LenovoImzCipher
Script to apply the Lenovo IMZ cipher to any cleartext passsword.
edk2
EDK II
audk
Acidanthera UEFI Development Kit based on EDK II edk2-stable202211
DATA
Differential Address Trace Analysis
data-gui
DATA GUI
edk2-platforms-ci
EDK II sample platform branches and tags
git
Git Source Code Mirror - This is a publish-only repository and all pull requests are ignored. Please follow Documentation/SubmittingPatches procedure for any of your improvements.
Gittyup
Understand your Git history!
ipxe
iPXE network bootloader
karat-docker
KaRaT Docker containers for both CI/CD and client usage.
mu_plus
Project Mu Microsoft Core UEFI Value
NQJ-compiler
Educational 'NotQuiteJava' compiler supporting Object-Oriented Programming paradigms.
omnetpp
OMNeT++ Discrete Event Simulator
OpenCorePkg
OpenCore bootloader
pyenv
Simple Python version management
systemc
SystemC Reference Implementation