Open Source microkernel for ia32 architecture. Basically this is a full functional operating system implementation using GNU C and nasm. Fully commented in spanish and with external documents explaining system calls, library functions, design, etc.
With up to 25k MAUs and unlimited Okta connections, our Free Plan lets you focus on what you do best—building great apps.
You asked, we delivered! Auth0 is excited to expand our Free and Paid plans to include more options so you can focus on building, deploying, and scaling applications without having to worry about your security. Auth0 now, thank yourself later.
Real Time Minix is an operating system designed for experimenting and learning Real Time OS concepts. This OS is the modified version of Minix3.1.3 and Minix4RT. Also interested learners can become developers.
Resources for the PePLink MANGA. This device with Linux embedded was marketed by PePLink (typically for Wifi and VoIP) until they withdrew it in early 2006. This project hosts the SDK, Debian image and other resources of interest to owners of this device.
The Linwizard project aims to port the Linux Kernel, all necessary drivers and (if possible) the OPIE/GPE Framework to the WM 2005 based PocketPC Phone HTC Wizard. The HTC Wizard is identical to Phones sold as XDA mini S, VPA II Compact or MDA Vario
Mconfig is a web server tool to configure the linux kernel via a web browser, similar to make {menu,x,}config, but written in C and with a proper yacc
parser.
The OpenSSI project is a comprehensive clustering solution offering a full, highly available SSI environment for Linux. Goals for OpenSSI Clusters include availability, scalability and manageability, built from standard servers.
Media Lab Asia collaborated with IIT Delhi for development real-time kernel O/S named “RTKER OS” portable on microprocessor based systems and a Multithreaded O/S for 8-bit microcontrollers (like 8051 and ATMega128) as low cost embedded solution.
EMOS is a real-time embedded operating system core derived/upgraded from ucOS/II; EMOS is a realtime embedded operating system derived from ucOS-II v2.0, with many modifications, But the core idea is the same;
Minirighi is a multi-threading open-source operating system written for didactic purpose. It has been written from scratch and it is compatible with POSIX.
- DSI is a security framework addressing security needs of carrier-grade Linux clusters. - DigSig is a linux kernel module checking RSA signatures of ELF executables at run-time. **Those projects are no longer maintained**
Distributed Inter-Process Communication (DIPC) is a combination of a Linux kernel extension and user-space programs that allows the user to develop distributed applications very easily.
MGOS3 a small OS currently under development, MGOS3 is aimed at the IA-32 architecture, currently it is distributed in the form of .x COFF executables, which are used with a 1_44 floppy image for simulation or writing to a floppy disk for execution