linaro-swg / arm-trusted-firmwareView external linksLinks
ARM Trusted Firmware
☆17Jul 4, 2017Updated 8 years ago
Alternatives and similar repositories for arm-trusted-firmware
Users that are interested in arm-trusted-firmware are comparing it to the libraries listed below
Sorting:
- A sample kernel module showing the memory reordering.☆11May 30, 2020Updated 5 years ago
- LLVM trunk with poolalloc trunk modified to compile only DSA☆12Jul 9, 2015Updated 10 years ago
- Python GDB RDP client (replaces gdb for QEMU tcp debug)☆12Apr 22, 2022Updated 3 years ago
- ☆10Feb 27, 2020Updated 5 years ago
- ☆16Apr 23, 2018Updated 7 years ago
- hardening-check from debian checks binarys for Pie (Position Independent Executeable), Stack protection, fortify source and immediate bin…☆12Sep 12, 2016Updated 9 years ago
- The Open-Source Engineering Process WG examines how software engineering processes can be used to facilitate the certification of safety-…☆13May 19, 2025Updated 8 months ago
- CTL (Computation Tree Logic) SAT solver☆15Feb 10, 2020Updated 6 years ago
- Linux SVSM (Secure VM Service Module) for secure x86 virtualization in Rust☆10Sep 7, 2023Updated 2 years ago
- ☆19Jan 28, 2025Updated last year
- 7️⃣ systemd source-git for RHEL7☆11Jul 11, 2025Updated 7 months ago
- Lightweight C++ API for Lua☆26Feb 1, 2026Updated 2 weeks ago
- Simulated click of Android devices☆11Dec 15, 2019Updated 6 years ago
- Script that will search for and load cscope.out databases automatically☆14Jun 28, 2022Updated 3 years ago
- My progress following and expanding on the ponchoOS tutorials☆13Jul 14, 2021Updated 4 years ago
- 我在阿里这十年☆12Dec 10, 2020Updated 5 years ago
- Make systemd's PID 1 in WSL☆12Jun 26, 2020Updated 5 years ago
- 一种基于复杂网络的药物疾病关系预测方法研究☆11Aug 8, 2019Updated 6 years ago
- Kernel for the SDM845 modules☆14Jan 31, 2026Updated 2 weeks ago
- 一个曾经使用过的rtsp服务,可以运行于linux系统下,实际测试过。☆14Sep 10, 2016Updated 9 years ago
- Fork of https://sourceforge.net/projects/tceetree/☆15Aug 3, 2017Updated 8 years ago
- CNN BiGRU ensembled-method☆12Jul 30, 2018Updated 7 years ago
- This demo use Chibios 2.5.0 + lwip 1.4.0 and DP83848 PHY. You can plug ethernet cable and go to IP address 192.168.0.136 to see modified …☆19Jan 11, 2013Updated 13 years ago
- ☆13Jan 14, 2021Updated 5 years ago
- hi3518开发板发送rtsp传输协议。☆13Jun 27, 2015Updated 10 years ago
- ☆15Oct 1, 2025Updated 4 months ago
- A simple, kernel-space, on-disk filesystem from the scratch☆13Apr 16, 2018Updated 7 years ago
- This git contains the official documentation for the OP-TEE project☆68Updated this week
- IPC provides flexible, efficient message passing between processes.☆32Sep 29, 2014Updated 11 years ago
- Tools for testing kernel ciphers and hash algorithm☆15Apr 27, 2023Updated 2 years ago
- More than Documents☆16Nov 19, 2025Updated 2 months ago
- A simple fanotify example for watching events on a filesystem.☆13Sep 19, 2015Updated 10 years ago
- 中医自然本文挖掘☆15Jun 14, 2013Updated 12 years ago
- C++ posix bsp perf test cases and code build with Cmake☆20Dec 25, 2025Updated last month
- systemd-free GNU/Linux for AWS Cloud Environment☆20Jan 25, 2023Updated 3 years ago
- Mini 3216 时钟☆18Jul 2, 2020Updated 5 years ago
- slides of CLK 2019 Hangzhou☆68Oct 24, 2019Updated 6 years ago
- BleDemo-Kotlin☆17Oct 15, 2021Updated 4 years ago
- Mongoose Embedded Web Server Library for RT-Thread package☆16Dec 13, 2017Updated 8 years ago