Jose Marinho's repositories
acpica
The ACPI Component Architecture (ACPICA) project provides an open-source operating system-independent implementation of the Advanced Configuration and Power Interface specification (ACPI). For detailed project information and downloads, go to https://www.acpica.org. For ACPICA contributor and source code licensing information, go to
crypto_sandbox
sandbox implementation of crypto algorithms
ebbr
Embedded Base Boot Requirements Specification
edk2-platforms
EDK II sample platform branches and tags
Real_time_Semi_Partitioned_SIM
Simulator for multiprocessor semi-partitioned scheduling
rt-app
rt-app emulates typical mobile and real-time systems use cases and gives runtime information
swift_spritekit
Experimenting with swift and SpriteKit, implementing a simple game.
u-boot-tfa-build
Git repo manifest for building upstream TFA+U-Boot
windows-driver-docs
The official Windows Driver Kit documentation sources
workload-automation
A framework for automating workload execution and measurement collection on ARM devices.