Operating Systems
- 181
- Extremely Reliable Operating System
- Growing article, with links to many related topics. Wikipedia.
- 182
- Verifying Operating System Security
- A confined program is one unable to leak information to an unauthorized party or modify unauthorized resources, an essential feature of any secure component based system. A proof of correctness of EROS architecture for confinement. [ResearchIndex]
- 183
- FreeBSD Project
- Official home: the definitive resource for FreeBSD information. Descriptions, downloads, documents, community, developer resources, support.
- 184
- The FreeBSD Diary
- The FreeBSD Diary is a collection of step-by-step how-to entries aimed at UNIX novices.
- 187
- Fresh Ports
- Information about new or updated FreeBSD ports before becoming generally available at the official FreeBSD ports site.
- 188
- Monkeying Around Systems
- Weblog about system administration on open source server, programming & desktop.
- 189
- got BSD? torrents
- A site for FreeBSD iso downloading via BitTorrent. Also has torrents for PC-BSD and FreeSBIE.
- 190
- FreeDOS
- Complete, free, MS-DOS compatible operating system with no enhancements or advanced features such as multitasking, protected mode operation, GUI.
- 192
- FreeDOS 32
- To extend abilities of FreeDOS into native 32-bit system, based on simple, fully expandable, modular core; features like memory protection, multitasking, support for many filesystems can be added by external components. [Open Source, GPL]
- 194
- FreeDOS: FDOS Site
- Home of FDOS: FreeDOS Distribution Of Sorts, 386+ for DOS/Win32. Also mirrors items of interest to FreeDOS developers, users; main and Spanish FreeDOS sites.
- 196
- FreeRTOS
- Portable, mini realtime scheduler (RTOS kernel); how to make full embedded solutions on Windows host with quality open source tools, low cost hardware; supports ARM7, PIC18, 8051, Atmel(Mega)AVR, RDC8822 (AMD AM186 clone), PC with DOS. [Open Source, GPL]
- 198
- FreeRTOS Real Time Kernel
- Project page: news, forums, support, CVS, bug reports, feature requests, statistics. SourceForge.