Tool kit for building highly secure special-purpose operating systems
The Genode OS Framework is a tool kit for building highly secure special-purpose operating systems. It scales from embedded systems with as little as 4 MB of memory to highly dynamic general-purpose workloads. Genode is based on a recursive system structure. Each program runs in a dedicated sandbox and gets granted only those access rights and resources that are needed for its specific purpose. Programs can create and manage sub-sandboxes out of their own resources, thereby forming hierarchies where policies can be applied at each level. The framework provides mechanisms to let programs communicate with each other and trade their resources, but only in strictly-defined manners. Thanks to this rigid regime, the attack surface of security-critical functions can be reduced by orders of magnitude compared to contemporary operating systems.
Development area for GNU/Linux 2.6.x for the KS8695 ARM SoC. Covers kernel patches, drivers for serial, Ethernet, PCI, GPIO, watchdog subsystems, and drivers for optional PCI based devices such as USB, WiFi, WiMAX, IPSec, SSL, and RSA devices.
A Development Framework for Coldfire
Contains a framework for Coldfire MCUs like 52254. The framework supports a Command Line Interface (CLI) that may work from Serial port, USB or ENET. The framework uses Processor Expert and IDE requirement is MCU Eclipse 10.4 from Freescale. Includes the FunkOS Realtime Operating System by Funkenstein Software Consulting, available at http://funkos.sourceforge.net Mainly it is a support package for the development board Perseus, but I have ported also the RTOS to MCF52233DEMO board. More to come....
Pre-Alpha Console distro for high performance Linux computing.
Basic Debian INTEL/AMD HPC console/desktop multi purpose. Linux for software devs/QA and thin laboratory clusters. MIC hardware, NUMA and live network memory and full IPv6 are supported. Final alpha release features: ======== * Usb image * General debian repos * VM optimizations * Hugepages by default * CGROUPs optimized by default * ALSA * Latest Debugging / Baremetal kernels * Full Haswell and MIC support in test * Full optimized python support * Full optimized perl support * Java compliance * IPv6 full stack with IPsets * Multipath storage * Overclocking tools * Student/Developer scripts. (git pull, builders) * i915 latest support drivers and gallium. * Kernel patching, testing featurettes * Wi-Fi and bluetooth ipv4 support * Latest GCC versions * Qt, Java, Maven, Desktop improvements Notes ==== Basic Console Pre-alpha build Test and rate for improvemen
The future of information technology will be based on controlling the flow of natural light. This project is an attempt to establish the code (or software) that will enable this to happen. It involves rewriting an OS from the ground up.
The definitive DASH7 firmware project
OpenTag is a full-featured communications stack for DASH7 Mode 2 (ISO 18000-7.4). It is intended to run on embedded HW, especially RF SoCs, but it can be ported to almost anything. OpenTag's main feat is its large featureset, but small footprint. Also see the official OpenTag website: http://www.indigresso.com/wiki/doku.php
The Staples Data Population & Migration Administrator is an application for the SuperWikia programming language which auto-builds critical infrastructure for cloned patches and provides backend server capability for smaller projects.