Benjamin Doron's repositories

edk2

EDK II

Language:CLicense:NOASSERTIONStargazers:2Issues:1Issues:0
Stargazers:0Issues:0Issues:0

arm-trusted-firmware

Read-only mirror of Trusted Firmware-A

Language:CLicense:NOASSERTIONStargazers:0Issues:0Issues:0

byteorder

Rust library for reading/writing numbers in big-endian and little-endian.

Language:RustLicense:UnlicenseStargazers:0Issues:0Issues:0

coreboot

Mirror of https://review.coreboot.org/coreboot.git. We don't handle Pull Requests.

Language:CLicense:GPL-2.0Stargazers:0Issues:0Issues:0
Language:CStargazers:0Issues:0Issues:0

ec

System76 Open Source Embedded Controller

Language:CLicense:GPL-3.0Stargazers:0Issues:0Issues:0

edk2-platforms

EDK II sample platform branches and tags

Language:CLicense:NOASSERTIONStargazers:0Issues:0Issues:0

i2c_debug_port

Implementation of the HDMI debug port on Atmel SAMD boards

Language:CLicense:GPL-2.0Stargazers:0Issues:0Issues:0

caliptra-dpe

High level module that implements DPE and defines high-level traits that are used to communicate with the crypto peripherals and PCRs

Language:RustLicense:Apache-2.0Stargazers:0Issues:0Issues:0

caliptra-sw

Caliptra software (ROM, FMC, runtime firmware), and libraries/tools needed to build and test

Language:RustLicense:Apache-2.0Stargazers:0Issues:0Issues:0

edk2-libc

Port of libc to EDK II with applications that depend on libc

License:NOASSERTIONStargazers:0Issues:0Issues:0

EfiGuard

Disable PatchGuard and DSE at boot time

License:GPL-3.0Stargazers:0Issues:0Issues:0

gdbgui

Browser-based frontend to gdb (gnu debugger). Add breakpoints, view the stack, visualize data structures, and more in C, C++, Go, Rust, and Fortran. Run gdbgui from the terminal and a new tab will open in your browser.

Language:TypeScriptLicense:GPL-3.0Stargazers:0Issues:0Issues:0
Language:HTMLStargazers:0Issues:0Issues:0

lkrg

Linux Kernel Runtime Guard

License:NOASSERTIONStargazers:0Issues:0Issues:0

mu_crypto_release

Release platform for Mu CryptoBin

License:NOASSERTIONStargazers:0Issues:0Issues:0

mu_feature_config

Project Mu - Feature Repo - UEFI User Config and Management Support

License:NOASSERTIONStargazers:0Issues:0Issues:0

mu_feature_dfci

DFCI - Device Firmware Configuration Interface

Language:CLicense:NOASSERTIONStargazers:0Issues:1Issues:0

mu_feature_ipmi

Project Mu - Feature Repo- Firmware support for IPMI

License:NOASSERTIONStargazers:0Issues:0Issues:0

mu_feature_mm_supv

Project Mu - Feature Repo - MM Supervisor

License:NOASSERTIONStargazers:0Issues:0Issues:0

mu_feature_uefi_variable

Project Mu - Feature Repo - UEFI Variables

License:NOASSERTIONStargazers:0Issues:0Issues:0

mu_silicon_arm_tiano

Project Mu - TianoCore Arm Packages

License:NOASSERTIONStargazers:0Issues:0Issues:0

oss-fuzz

OSS-Fuzz - continuous fuzzing for open source software.

Language:ShellLicense:Apache-2.0Stargazers:0Issues:0Issues:0

pcredit

Command-line utility for editing Intel 100-Series Chipset Private Configuration Registers

Language:CStargazers:0Issues:0Issues:0
Stargazers:0Issues:0Issues:0

stm_linux_module

Linux STM support

Stargazers:0Issues:0Issues:0

u-boot

"Das U-Boot" Source Tree

Stargazers:0Issues:0Issues:0

vmware-host-modules

Patches needed to build VMware (Player and Workstation) host modules against recent kernels

License:GPL-2.0Stargazers:0Issues:0Issues:0
License:BSD-2-ClauseStargazers:0Issues:0Issues:0