Search Results for "gnu-efi"
Sort By:
39 programs for "gnu-efi" with 2 filters applied:
-
Deploy Red Hat Ansible Automation Platform on Microsoft Azure for a strategic automation solution that allows you to orchestrate, govern and operationalize your Azure environment.
-
Evolia is a web and mobile platform that connects enterprises with 1000’s of local shift workers and offers free workforce scheduling and time and attendance solutions. Is your business on Evolia?
-
1
stm32flash
Open source flash program for STM32 using the ST serial bootloader
Open source cross platform flash program for the STM32 ARM microcontrollers using the built-in ST serial bootloader over UART or I2C -
2
dfu-util
Multiplatform USB DFU host utility
dfu-util is a host side implementation of the DFU 1.0 and DFU 1.1 specifications of the USB forum. DFU is intended to download and upload firmware to/from devices connected over USB. -
3
The wolfSSL embedded SSL library (formerly CyaSSL) is a lightweight, portable, C-language-based SSL/TLS library targeted at IoT, embedded, and RTOS environments primarily because of its size, speed, and feature set. It works seamlessly in desktop, enterprise, and cloud environments as well. wolfSSL supports industry standards up to the current TLS 1.2 and DTLS 1.2, is up to 20 times smaller than OpenSSL, offers a simple API, an OpenSSL compatibility layer, OCSP and CRL support, is backed by...
-
4
MenuDesigner
A GUI system for embedded systems.
A small GUI system for monochrome and color LCDs suitable for embedded systems with very limited system resources (like 8 bit microcontrollers). Comes with a graphical editor for creating a menu. Runs on Linux and Windows (Cygwin is recommend for using all features). Samples showing the usage on a PC, AVR, and STM32 microcontrollers are included. -
The only software you need to increase cash flow, optimize resource utilization, and take control of your assets and inventory.
-
5
uEZ
Open Source middleware platform with FreeRTOS, processor abstraction
uEZ(r) is an open source, embedded middleware platform providing underlying RTOS and processor abstraction features enhancing portability of application code to multiple ARM platforms with high reusability. Developed by Future Designs, Inc. at https://www.teamfdi.com Doxygen docs available at https://www.teamfdi.com/uez/docs/index.html FDI Support: https://teamfdi.com/forums uEZ is now available in a 7-Zip archive in addition to the standard zip file. The .7z download is a much... -
6
BACnet for Dynamic C
BACnet stack for Rabbit 4000/5000/6000
This is a Dynamic C port of the BACnet stack at http://sourceforge.net/projects/bacnet. This BACnet library provides a BACnet application layer, network layer and MAC layer communications services for systems based on the Rabbit 4000, 5000 and 6000 processors. The rich feature set of the BACnet stack provides an ideal platform for developing Rabbit based control devices which can use the many BACnet tools out there to reduce the development time and effort. -
7
Terminal-BASIC
BASIC-like language interpreter for embedded systems
Terminal-BASIC is a BASIC-like language interpreter, works on a set of single board embedded systems (i.e. famous AVR uc based boards). Terminal-BASIC: * suports real numbers, multidimensional arrays and Darthmouth BASIC-style matrix operations; * written in C++11; * has modular structure (can save uc storage, instantiating only used modules); * works through different i/o devices, using vt100 commands; * on systems with multiple i/O devices can work as simple time-sharing... -
8
amforth: Interpreter on Microcontrollers
amforth is an extendible interpreter on microcontrollers
amforth is an extendable command interpreter running on AVR ATmega and TI MSP430 microcontrollers. The Risc-V and ARM architectures are ascending. Turnkey actions for IoT workloads are possible as well. The command language is close to the Forth 2012 standard. -
9
RKH - State Machine Framework
State machine framework for reactive embedded systems
RKH is a generic, flexible, modular, highly portable, ANSI-C compliant, and open-source development tool for implementing hierarchical state machines based on modern state machine concepts. This modern techniques are used to give an abstract description of the dynamic behavior of a system in a substantial manner. The RKH not implements neither entire UML specs. nor entire Statechart specs. Instead, the RKH intention is to support just enough basic concepts of that powerful tools to... -
Whether natural disaster, cyberattack, or plain-old human error, data can disappear in the blink of an eye. ConnectWise BCDR (formerly Recover) delivers reliable and secure backup and disaster recovery backed by powerful automation and a 24/7 NOC to get your clients back to work in minutes, not days.
-
10
Lightweight ext4 filesystem library
ext2/3/4 library for microcontrollers
Code is also available on github: https://github.com/gkostka/lwext4 Feel free to contact me: kostka.grzegorz@gmail.com -
11
EfiPy
Python Library for accessing UEFI BIOS internal function by protocol
EfiPy is a Python Module on UEFI shell which can access UEFI BIOS kernel interface - System Table - Runtime Services - Boot Services pAnalyzer package - Tracing UEFI protocol calling flow Output protocol flow to screen or file with XML format CorePy (assembly package) - Simple Assembly code in Python environment. EfiPy Shell package- Simple uefi shell program coded with EfiPy library to prove EfiPy workable EfiPy leverage these open source packages -... -
12
freedomotic
Open IoT Framework
Freedomotic is an open source, flexible, secure Internet of Things (IoT) development framework, useful to build and manage modern smart spaces. It is targeted to private individuals (home automation) as well as business users (smart retail environments, ambient aware marketing, monitoring and analytics, etc). Freedomotic can interact with well known standard building automation protocols as well as with "do it yourself" solutions. It treats the web, social networks and branded frontends as... -
13
autoCode4
Synthesizing embedded control software from formal specifications
autoCode4 is an engine that synthesizes controllers from formal specifications described under a subset of linear temporal logic (LTL). Importantly, it synthesizes synchronous dataflow controllers (in Lustre or in Ptolemy II form) and maintains requirement-to-code traceability. Such feature is mandated in developing safety-critical systems and are considered essential for specification validation or integrating manual implementation such as legacy code. The LTL specification captures... -
14
XRF Config
Cross platform configuration tool for Ciseco XRF radio devices
A cross platform GUI configuration tool for Ciseco XRF radio devices accessed over serial or USB. This product is produced independently from Ciseco, and carries no guarantee from Ciseco about quality, suitability or anything else. The supplier of this product assumes all responsibility for it. -
15
UFFS: Ultra-low-cost Flash File System, designed for NAND flash working in embedded system. UFFS typically consumes less then 200K ram for 1Gb(page 512)/4Gb(page 2K) NAND flash. It supports direct flash interface, works with or without OS.
-
16
Hydroponic Automation Platform (HAPI)
Technologies for automating food production on various scales
The Hydroponic Automation Platform Initiative (HAPI) develops and provides hardware and software components for automating food production using hydroponic, aquaponics, and precision agriculture techniques. High-yield production in urban settings is one of the primary goals. Artifacts include hardware design (mainly Arduino-based), firmware, management software and reporting modules. -
17
Library and command line program providing access to the EEPROM of an Silabs CP2101 / CP2102 / CP2103. It can programm the USB-Descriptors and the Baudrate table.
-
18
JBernstein
JBernstein: Exploration techniques for non-linear constraint checking
JBernstein is a tool implemented in Java that enables to check whether a polynomial constraint holds for all variables within their domain. It is mainly used in the verification or synthesis of cyber-physical systems where the system model is nonlinear. The tool also supports specifications in assume-guarantee style. The underlying algorithm is based on a translation to Bernstein polynomials, and several optimization techniques are implemented to ensure efficiency. Concerning performance,... -
19
ztex is a Firmware Kit with a corresponding Driver API for EZ-USB based hardware. The Firmware is written in C and assembled using a powerful macro processor. The Driver API allows the development of platform-independent device drivers.
-
20
CLOCK 3W
CLOCK 3W Library for Arduino (by FRIENDLY ELECTRONICS)
CLOCK 3W is a library for Arduino that helps you interact with CLOCK 3W timekeeping module (made by FRIENDLY ELECTRONICS) or any other module based on DS1302 chip. -
21
OOBD supports a self-programable Tool for Vehicle Onboard Diagnostics (OBD) for various platforms like the Windows-Desktop, mobile Phones and Smartphones Please note that we are actual moving this project over to oobd.googlecode.com. The software source code repository is already moved, other areas will follow.
-
22
SERiaM
Unified desktop and embedded Serial port API
A simple API, written in C, for accessing the Serial ports in a consistent way across Multiple desktop and embedded platforms. This has allowed programs for embedded devices to be mainly developed on the desktop, where test and debug is much easier. It can also be used to write serial port programs that are portable across different desktop platforms. -
23
lpcprog
LPC214x FTDI(UART) programmer
-
24
Platform providing the support for Wireless Sensor Networks in the domain of Natural Hazards as a Service. The objective of the WSN platform is monitoring the behaviour of rockfall barriers, rockfall netting, rock sheds and other protection systems
-
25
ArduSim
To be a practical Arduino simulator
ArduSim provides API level simulation of an Arduino. Arduino sketches can be run and debugged on PC with no modification. ArduGate is a sub-project of ArduSim. The agent sketch is shared.