I work on Linux kernel’s power management code: cpuidle, cpufreq, ACPI subsystem. I mainly focus on power management and platform/power interfaces.
No open issues to review
OP-TEE Sample Applications
Test suite
EDK II sample platform branches and tags
EDK II
Manifests to use OP-TEE on various platforms
Makefiles to use OP-TEE on various platforms
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
System Control Processor (SCP) firmware
ARM Trusted Firmware
No recent activity