New customers can spin up VMs, build with AI, and query data at no cost.
Put your $300 in credit toward real workloads, then keep building with free monthly usage for 20+ products. No commitment and no charge until you upgrade.
Start Free
Build Securely on AWS with Proven Frameworks
Lay a foundation for success with Tested Reference Architectures developed by Fortinet’s experts. Learn more in this white paper.
Moving to the cloud brings new challenges. How can you manage a larger attack surface while ensuring great network performance? Turn to Fortinet’s Tested Reference Architectures, blueprints for designing and securing cloud environments built by cybersecurity experts. Learn more and explore use cases in this white paper.
Project has been move to https://github.com/ciaa/Firmware
...These are now deliverd as part of a new project: https://github.com/ciaa/Firmware
----
FreeOSEK is a scalable solution for embedded system. FreeOSEK OS is based on OSEK RTOS specification (OSEK-VDX). visit us in: http://opensek.sourceforge.net
nxtOSEK is an RTOS for LEGO Mindstorms NXT. nxtOSEK consists of I/O driver part of LEJOS NXJ, TOPPERS/ATK1 RTOS, and glue code for them. You can write applications for NXT in ANSI-C/C++. Check nxtOSEK site: http://lejos-osek.sourceforge.net
Hard Real-Time OS compliant to the Osek/Vdx standard.
Microsek is an INTECS OpenSource Hard Real-Time and Networked Operating System compliant to the Osek/Vdx standard and suitable for the development of Embedded Real-Time Applications.
K-OS is an open-source realtime-operating-system based on the OSEK/VDX standard aimed at compiler and microcontroller independence. Currently we support Motorola (Freescale) HC12/HCS12/HCS12X targets.
The LEO-SYSGEN project deals with development of the Sysgen tool for Linux Based ECOS interface for OSEK/VDX Based RTOS. Feel free to download-develop-submit and query about it!!!