facebookincubator / Portal-KernelLinks
Kernel Code for Portal.
☆13Updated 3 years ago
Alternatives and similar repositories for Portal-Kernel
Users that are interested in Portal-Kernel are comparing it to the libraries listed below
Sorting:
- Header-only C library for reading/writing 64-bit Arm registers, automatically generated by parsing the AArch64 System Register XML.☆33Updated 4 years ago
- Tools and images for HiKey960☆56Updated 6 years ago
- Kernel and lk source for mt65x2☆46Updated 10 years ago
- ☆72Updated 2 years ago
- Linux UEFI Validation Distribution☆118Updated 4 years ago
- Forked from https://kernel.googlesource.com/pub/scm/linux/kernel/git/cjb/mmc-utils/☆16Updated 11 years ago
- FastRPC is Qualcomm's userspace library that facilitates efficient remote procedure calls between the CPU and DSP for high-performance co…☆74Updated last week
- embedded-iot_profile☆103Updated 5 years ago
- Official QEMU mirror. Please see http://wiki.qemu.org/Contribute/SubmitAPatch for how to submit changes to QEMU. Pull Requests are ignore…☆25Updated this week
- loader to switch from aarch32 to aarch64 and boot☆12Updated 8 years ago
- Emulating Exynos 4210 BootROM in QEMU☆77Updated 6 years ago
- Dump privileged ARM system registers from usermode using variant 3a of Meltdown☆245Updated 8 years ago
- Experimental version of QEMU with basic support for ARM TrustZone (security extensions)☆85Updated 12 years ago
- ☆23Updated 7 years ago
- SELinux Policy Analysis Tools v4 alpha☆36Updated 8 years ago
- llvm with tablegen backend for capstone disassembler☆52Updated 2 weeks ago
- Qemu Etrace☆15Updated last year
- Using LLVM method to optimize Qemu's binary translation mechanism. Currently only supports x86_64 program execution on aarch64. Performan…☆39Updated 4 years ago
- vendor☆17Updated 9 years ago
- Unifies ".mdt" and ".bXX" files into a complete Trustlet☆94Updated 7 years ago
- LLVM Linker for Mobile Computing☆82Updated 9 years ago
- Enable user-mode access to ARMv7/Linux performance counters☆42Updated 9 years ago
- ☆20Updated 11 months ago
- Snapdragon S4 Pro/APQ8064 support for FreeBSD☆27Updated 11 years ago
- PCI device for qemu with mmio, pio, dma☆77Updated 9 years ago
- Performance Monitoring for ARM using PMU - Cycle count, Cache misses, and more...☆31Updated 8 years ago
- Extract Module.symvers info from a binary kernel☆50Updated 10 years ago
- An attempt at an open source toolchain for the Hexagon DSP☆38Updated 7 years ago
- Linux Integrated System Analysis☆207Updated 3 weeks ago
- adbd on non-Android platforms☆37Updated 2 years ago