Pinned Repositories
OpenCorePkg
OpenCore bootloader
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).
Battery-Toolkit
Control the platform power state of your Apple Silicon Mac.
CupertinoSupportPkg
Custom-Search
Safari Web Extension to customize your search engine.
edk2
EDK II
EfiMiscPkg
ISPRASOpen-SecurePE
Conference material for the talk "Securing the EDK II Image Loader" at Ivannikov ISP RAS Open 2020.
LenovoImzCipher
Script to apply the Lenovo IMZ cipher to any cleartext passsword.
MastersThesis
Material for the Master's Thesis 'Designing a Secure and Space-Efficient Executable File Format for the Unified Extensible Firmware Interface'.
mhaeuser's Repositories
mhaeuser/Battery-Toolkit
Control the platform power state of your Apple Silicon Mac.
mhaeuser/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).
mhaeuser/Custom-Search
Safari Web Extension to customize your search engine.
mhaeuser/ISPRASOpen-SecurePE
Conference material for the talk "Securing the EDK II Image Loader" at Ivannikov ISP RAS Open 2020.
mhaeuser/MastersThesis
Material for the Master's Thesis 'Designing a Secure and Space-Efficient Executable File Format for the Unified Extensible Firmware Interface'.
mhaeuser/LenovoImzCipher
Script to apply the Lenovo IMZ cipher to any cleartext passsword.
mhaeuser/SimilarityChecker
Code similarity checker based on editing distances with inbuilt profiles for the C Programming Language, Java and F#.
mhaeuser/cctools
Imported from https://opensource.apple.com/
mhaeuser/ejectify-macos
Ejectify automatically unmounts external volumes when your Mac starts sleeping, and mounts them again after it wakes up.
mhaeuser/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.
mhaeuser/edk2
EDK II
mhaeuser/audk
Acidanthera UEFI Development Kit based on EDK II edk2-stable202211
mhaeuser/DATA
Differential Address Trace Analysis
mhaeuser/data-gui
DATA GUI
mhaeuser/edk2-platforms-ci
EDK II sample platform branches and tags
mhaeuser/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.
mhaeuser/Gittyup
Understand your Git history!
mhaeuser/ipxe
iPXE network bootloader
mhaeuser/karat-docker
KaRaT Docker containers for both CI/CD and client usage.
mhaeuser/mu_plus
Project Mu Microsoft Core UEFI Value
mhaeuser/NQJ-compiler
Educational 'NotQuiteJava' compiler supporting Object-Oriented Programming paradigms.
mhaeuser/NuSMV
Forked from https://nusmv.fbk.eu/
mhaeuser/ocbuild
mhaeuser/ocmtoc
mhaeuser/omnetpp
OMNeT++ Discrete Event Simulator
mhaeuser/OpenCorePkg
OpenCore bootloader
mhaeuser/pyenv
Simple Python version management
mhaeuser/systemc
SystemC Reference Implementation
mhaeuser/systemc-ams
mhaeuser/TTool