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:
- Tools and images for HiKey960☆56Updated 5 years ago
- Header-only C library for reading/writing 64-bit Arm registers, automatically generated by parsing the AArch64 System Register XML.☆30Updated 4 years ago
- ☆70Updated last year
- Forked from https://kernel.googlesource.com/pub/scm/linux/kernel/git/cjb/mmc-utils/☆15Updated 11 years ago
- ☆41Updated last week
- Kernel and lk source for mt65x2☆43Updated 9 years ago
- Emulating Exynos 4210 BootROM in QEMU☆74Updated 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…☆23Updated this week
- Linux UEFI Validation Distribution☆117Updated 4 years ago
- ☆22Updated 7 years ago
- loader to switch from aarch32 to aarch64 and boot☆12Updated 8 years ago
- vendor☆17Updated 8 years ago
- Extract Module.symvers info from a binary kernel☆49Updated 9 years ago
- ☆29Updated 9 years ago
- Dump privileged ARM system registers from usermode using variant 3a of Meltdown☆245Updated 7 years ago
- embedded-iot_profile☆105Updated 4 years ago
- Documentation for 3D commands on Virgl3D☆28Updated 6 years ago
- Experimental version of QEMU with basic support for ARM TrustZone (security extensions)☆84Updated 11 years ago
- Various dm-verity tools for Android☆24Updated 4 years ago
- A Root VM supporting virtualization with the Gunyah Hypervisor.☆19Updated 9 months ago
- proxy to allow programs such as qmicli (libqmi), uqmi, and oFono to work with qmuxd☆23Updated 7 years ago
- This tool reads and parses CID/CSD/EXT-CSD register values from an eMMC 5.0 device and generate a report☆15Updated 10 years ago
- GCC Crosscompiler build scripts and instructions☆59Updated 8 years ago
- kvm hypervisor☆17Updated 2 years ago
- Snapdragon S4 Pro/APQ8064 support for FreeBSD☆26Updated 10 years ago
- Steps to build the Linux kernel using Clang☆102Updated 3 years ago
- Unifies ".mdt" and ".bXX" files into a complete Trustlet☆91Updated 7 years ago
- CLI tool for reading and display information about files in Qualcomm mbn format☆58Updated 7 years ago
- PCI device for qemu with mmio, pio, dma☆74Updated 8 years ago
- SELinux Policy Analysis Tools v4 alpha☆36Updated 8 years ago