A self-healing FreeRTOS based on ARM TrustZone
☆17May 11, 2024Updated 2 years ago
Alternatives and similar repositories for self-healing_FreeRTOS
Users that are interested in self-healing_FreeRTOS are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- book for Halide language programming☆13Sep 8, 2021Updated 4 years ago
- ☆20Jul 13, 2015Updated 11 years ago
- Trustzone vexpress helloworld example☆18May 1, 2016Updated 10 years ago
- A POSIX Filesystem for Enclaves with a Mechanized Safety Proof☆17Sep 20, 2019Updated 6 years ago
- Loadable Module for Keystone Enclave☆19Sep 24, 2022Updated 3 years ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- How to run deep learning model on microcontroller with CMSIS-NN☆29Jul 6, 2018Updated 8 years ago
- Natural language interface prototype to browse the Web. This project and its learnings have evolved into the Tholian Stealth browser.☆16Aug 20, 2021Updated 5 years ago
- Keystone security monitor library for opensbi (Discountinued after monorepo-izing)☆13Oct 28, 2022Updated 3 years ago
- ☆11Dec 19, 2016Updated 9 years ago
- Analog circuit simulation library; wrapper for ngspice☆11Aug 31, 2020Updated 6 years ago
- Formally-verified reference monitor for a secure isolated execution ("enclave") environment on ARM TrustZone☆109Aug 18, 2022Updated 4 years ago
- A collection of tools and libs for C3 language☆14Feb 20, 2025Updated last year
- Wishbone bridge over SPI☆11Nov 13, 2019Updated 6 years ago
- M-Kernel embedded RTOS☆14Apr 11, 2013Updated 13 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- CodeRED is an app that can help people to send an instant emergency and distress calls or text messages to a large number of people even …☆10Jul 24, 2022Updated 4 years ago
- MuJS is a lightweight Javascript interpreter designed for embedding in other software to extend them with scripting capabilities. It is w…☆16Jan 1, 2016Updated 10 years ago
- XR21B1411 (B1411) driver for Orange Pi Zero with forced RS-485 mode☆13Jun 18, 2018Updated 8 years ago
- A PHP 5.4 image variation manager intended for cloud storage use☆15Jan 27, 2016Updated 10 years ago
- project template for stm32F1XXX Microcontrollers using meson build system☆12Jan 13, 2019Updated 7 years ago
- F5 to save & run, F12 to make, F9 make in background. Plugin for Micro editor☆19Apr 19, 2024Updated 2 years ago
- Reaper Toolbox is an installer for Reaper DAW which includes additional plugins, like SWS and ReaPack, out-of-the-box.☆10Updated this week
- Out-of-tree version of Linux' kconfig tool☆20Jun 13, 2024Updated 2 years ago
- PIC32MX Open-Source Toolchain☆10Feb 17, 2024Updated 2 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- ☆11Aug 27, 2021Updated 5 years ago
- A server using Python + Django + CherryPy to share your Android applications over the network☆12Nov 14, 2019Updated 6 years ago
- A voltage source imitating the behaviour of a battery☆16Jun 24, 2019Updated 7 years ago
- PCB board with camera and ethernet connection + CAN-bus☆16Feb 9, 2024Updated 2 years ago
- libopencm3 c++ wrappers☆10Dec 25, 2020Updated 5 years ago
- ☆19Sep 18, 2025Updated 11 months ago
- A LiteX module implementing a USB UAC2 module with simple PDM in/out☆16Feb 16, 2022Updated 4 years ago
- AVR CPU Core Implementation in Verilog HDL.☆15Oct 28, 2018Updated 7 years ago
- Competitive Programming 2, 2016 Spring☆21May 24, 2016Updated 10 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- FPGArduino binary☆13Aug 5, 2019Updated 7 years ago
- Interface for PyTorch's C++ backend, focusing on ATen, AutoGrad, and JIT☆23Oct 8, 2024Updated last year
- Small embedded Nim program running on an STM32F3.☆14Jun 9, 2016Updated 10 years ago
- Simple temperature converter written in Iron Python and using WPF☆16Jul 23, 2019Updated 7 years ago
- This library allows for the configuration, writing, and reading of the 8 ADC/DAC channels of the AD5593R by analog instruments.☆12Feb 16, 2021Updated 5 years ago
- Traits for julia iterators☆11Updated this week
- formally and easily, describe the semantics.☆13Aug 17, 2020Updated 6 years ago