FreeOSEK (originally called OpenSEK) is a scalable solution for embedded system. FreeOSEK OS is based on OSEK-VDX RTOS specification and is best suitable for small and fast real time operating systems.
AT91Bootstrap is the 2nd level bootloader for Atmel AT91 SoC providing a set of algorithms to manage the hardware initialization such as clock speed configuration, PIO settings, DRAM initialization, and finally download your main application from specified boot media (NAND FLASH, serial FLASH (both
... [More] AT25-compatible and DataFlash), serial EEPROM, SD Card, etc.) to main memory and start it. [Less]
The ROHC library implements the RObust Header Compression (ROHC) protocol as defined by the IETF.
The ROHC protocol defines a standardized method for compressing IPv4, IPv6, UDP, UDP-Lite, RTP and TCP network packet headers. It performs well over links where the packet loss rate is high, such as
... [More] wireless links.
The Uncompressed, IP-only, IP/UDP, IP/UDP-Lite, IP/ESP, IP/UDP/RTP, and IP/TCP compression profiles are currently supported. [Less]
A collection of Linux command line tools, which can help to do neat tricks with the ARM devices based on Allwinner SoCs (A10/A13/A20/A23/A31/A33/A83T/H3):
- Boot the device over USB (in FEL mode).
- Convert hardware description configs (FEX files) from/to binary representation.
- Retrieve the
... [More] information about the DRAM controller setup.
- Print the information about the state of GPIO pins. [Less]
SoCLib is a library of pluggable SystemC cycle-accurate and transaction-level components. The library contains many types of models: processor cores (MIPS32, PPC405, ARM-v6k, Nios2, MicroBlaze, lm32, etc.), memory types, devices (block device, UART, frame buffer, etc.) and network-on-chip models.
... [More] SoCLib can be used to create a complete system-on-chip hardware design, as well as for testing and evaluating embedded operating systems and applications. NetBSD, MutekH, and other dedicated systems are ported to the SoCLib hardware simulator. A Linux port is an ongoing project. [Less]
L4Ka::Pistachio is the latest L4 microkernel developed by the System Architecture Group at the University of Karlsruhe in collaboration with the DiSy group at the University of New South Wales, Australia. It is the first available kernel implementation of the L4 Version 4 kernel API (currently
... [More] code-named Version X.2), which is fully 32 and 64 bit clean, provides multiprocessor support, and super-fast local IPC. [Less]
This site uses cookies to give you the best possible experience.
By using the site, you consent to our use of cookies.
For more information, please see our
Privacy Policy