Search Results for "linux kernel"

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 -...

BIOS for Samsung S3C4510B based boards. You can use it to setup CPU/ROM/SDRAM/EXTIO, manage and burn flash, load OS kernel and pass arguments to OS kernel (now only uClinux).

Nemesis is a tiny real time operating system kernel based on x86 PCs. Its main purpose is to serve as a simple but realistic example of an real time OS kernel running on real hardware..the purpose of this is that it can be embedded in small devices lik

The T-BASE OS Project aims on developing a new OS Kernel (BASE) with a brand new shell which will support many existing programs.

The FDOS Operaing System is 100% written in Assembler (NASM). It supports FAT 12, TSR and a small Multi Kernel System. The source is very good documentated (only in English). A German, russian and English Documentation (about 40 pages) are included.

A Unix-like (Not compleatly Unix-compatible) Kernel. Right now, we have (very limited support) of 80486+ IBM-PC AT compatibles. Written in C, and assembly. No network support planned for the forseeable future.

SimplicityOS is a project designed to create a simple but powerful operating system for the pc. The kernel was designed from scrath to create a fast and stable base. The filsystem used by SimplicityOS was also designed from scratch for stability.

Blob is a boot loader for SA11x0 (StrongARM) platforms. Blob is able to boot a Linux kernel stored in flash or RAM and provide that kernel with a ramdisk (again from flash or RAM).