Beast code in Giters

Jared Wright's starred repositories

C Bounded Model Checker

Language:C++NOASSERTION83000

The Bareflank Processor Abstraction Layer

Language:CMIT3700

builds your own tests.

Language:PythonBSD-3-Clause18900

oreboot is a fork of coreboot, with C removed, written in Rust.

Language:RustGPL-2.0156800

Convert architecture information generated by Google's Exegesis project from protobuf pbtxt format to yaml

Language:PythonMIT100

Compare ARM CPUs Against ARM's Machine Parsable Architecture Reference Manual

Language:CNOASSERTION800

Embedded systems memory management library. Implementations for malloc(), free(), and other useful memory management functions

Language:CMIT21600

libc targeted for embedded systems usage. Reduced set of functionality (due to embedded nature). Chosen for portability and quick bringup.

Language:CMIT51700

windows kernel security development

Direct Memory Access (DMA) Attack Software

Language:CAGPL-3.0486800

Tools to process ARM's Machine Readable Architecture Specification

Language:PythonBSD-3-Clause12100

Platform Security Assessment Framework

Language:PythonGPL-2.0292600

lightweight hypervisor SDK written in C++ with support for Windows, Linux and UEFI

Language:C++NOASSERTION134900