Interactiva.Org

The Computers: Software: Operating Systems: (Microkernel Operating Systems )

Wikimedia.

This section is on operating systems (OSs) which main trait is that they have a microkernel architecture. A microkernel is a minimal OS kernel providing only basic OS services (system calls), while other services (usually done by kernels) are done by user-space programs called servers. Usually, microkernels provide services such as address space (memory) management, thread management, and inter-process communication, but not networking, or display. Later extensions of microkernel designs led to new architectures such as nanokernels, exokernels, and hardware abstraction layers (HAL). Monolithic kernels (DOS, Linux, most Unix, Windows, etc.) go in their own section. Microkernel Operating Systems Software Computers.

In computer science, a microkernel (also known as μ-kernel ) is the near-minimum amount of software that can provide the mechanisms needed to implement an operating system (OS). (wikipedia)

  • Wikipedia: In computer science, a microkernel is the near-minimum amount of software that can provide the mechanisms needed to implement an operating system. These mechanisms include low-level address space management, thread management, and inter-process communication.
  • Kernel (computer science) - The kernel's interface is a low-level abstraction layer. When a process makes requests of the kernel, it is called a system call. Kernel designs differ in how they manage these system calls and resources.
  • Exokernel - Exokernel is an operating system kernel developed by the MIT Parallel and Distributed Operating Systems group, and also a class of similar operating systems.
  • Hybrid kernel - A hybrid kernel is an operating system kernel architecture that attempts to combine aspects and benefits of microkernel and monolithic kernel architectures used in computer operating systems.
  • Loadable kernel module - In computing, a loadable kernel module is an object file that contains code to extend the running kernel, or so-called base kernel, of an operating system. LKMs are typically used to add support for new hardware and/or filesystems, or for adding system calls.
  • Monolithic kernel - A monolithic kernel is an operating system architecture where the entire operating system is working in kernel space and is alone in supervisor mode. The monolithic model differs from other operating system architectures in that it alone defines a high-level virtual interface over computer hardware.
  • Trusted computing base - The trusted computing base of a computer system is the set of all hardware, firmware, and/or software components that are critical to its security, in the sense that bugs or vulnerabilities occurring inside the TCB might jeopardize the security properties of the entire system.
  • Microkernels
  • Explains Sartoris Microkernel Tutorial www
    Explains about making a policy-free microkernel; multipart series. Sartoris Microkernel Tutorial.
  • Growing K42 www
    Growing article, K42, with links to many related topics. Wikipedia. K42.
  • Portable ShagOS www
    Portable object-oriented microkernel OS, ShagOS, dynamically loaded device drivers, fully redesigned and rewritten many times in C++, runs on VAX, x86. Ongoing experiment in using O-O paradigm as framework for full OS, with distributed computing as main aspect in most design decisions. ShagOS.
  • Page The Open Group: Advanced Research www
    Page listing several research projects: microkernel OSs (MK7, Open Group: Advanced Research, MK++, AD3) and other modules (CONVERSANT, CORDS, GIPC, SHAWS). The Open Group: Advanced Research.
  • Growing Microkernel www
    Growing article, Microkernel, with links to many related topics. Wikipedia. Microkernel.
  • Teachable Topsy www
    Teachable Operating System: tiny multithreaded messaging microkernel, Topsy, in ANSI C; protected threads, memory managed, and thread/process control. From undergraduate course on concurrency, device programming, OS concepts. Descriptions, documents, theses, downloads, contacts, links. [Open Source, GPL] Topsy.
  • High K42 www
    High performance, K42, general-purpose research OS kernel for cache-coherent multiprocessors, for next generation servers ranging from small-scale (to grow ubiquitous), to very large-scale non-symmetric (growing important in commercial and technical environments. IBM Research. Open source. K42.
  • One The MicroEmpix Fan Site www
    One user microkernel (nearer an exokernel), MicroEmpix Fan Site, very small, version of Empix Unix-like OS developed at the Computing Systems Laboratory, National Technical University of Athens. The MicroEmpix Fan Site.
  • SUpport SUMO www
    SUpport for Multimedia in Operating systems, SUMO, Lancaster University: microkernel OS with facilities to support distributed realtime and multimedia applications and ODP-based multimedia distributed application platforms. SUMO.
  • Automatic ACCORDS Project www
    Automatic Configuration and Monitoring of Component-Based Distributed Systems. Project. From Universities of São Paulo, and of Campinas, Brazil. Part of 2K effort. ACCORDS Project.
  • Component-based 2K www
    Component-based network-centric OS for the next millennium: distributed, 2K, adaptable, designed for frequent change, from the Systems Software Research Group, and the Multimedia Operating Systems and Networking Group, University of Illinois, Urbana-Champaign. 2K.
  • NetBSD/Amiga NetBSD/amiga - Un*x for the amiga www
    NetBSD/Amiga is a free, Un*x for the amiga, portable Unix like operating system for many machines, including the Amiga. NetBSD/amiga - Un*x for the amiga.
  • OpenBSD OpenBSD/amiga www
    OpenBSD/amiga.
  • Part Bibliography on the Distributed Operating System Amoeba www
    Part of the Computer Science Bibliographies: search, the Distributed Operating System Amoeba, browsing, statistics. Bibliography on the Distributed Operating System Amoeba.
  • Powerful Amoeba www
    Powerful free, Amoeba, open source, microkernel-based system that turns a collection of workstations or single-board computers into a transparent distributed system. Used in academia, industry, and government for many years. Runs on many platforms. Amoeba.
  • Asks Interview with the AtheOS Creator, Kurt Skauen www
    Asks Skauen's views on binary compatibility in future versions of AtheOS, with the AtheOS Creator, Kurt Skauen, multithreading, and the future of his OS in general. [OSNews] Interview with the AtheOS Creator, Kurt Skauen.
  • It The AtheOS Info Site www
    It lists various user and developer questions and answers about AtheOS in FAQ format. AtheOS Info Site. Specifically, it covers how to set a view to use a fixed font, how to compile the sources from scratch, and how to handle graphics. The AtheOS Info Site also discusses particulars of the AtheOS API and Unicode support. The AtheOS Info Site.
  • Hundreds The BeOS Tip Server www
    Hundreds of tips, BeOS Tip Server, tricks, shortcuts, and undocumented secrets by and for BeOS users. The BeOS Tip Server.
  • An Haiku Project www
    An open-source operating system currently in development and inspired by BeOS. Project. Its kernel is based on NewOS. Open source, released under the MIT license. Haiku Project.
  • Growing ChorusOS www
    Growing article, ChorusOS, with links to many related topics. Wikipedia. ChorusOS.
  • Unbiased How Stuff Works: Operating Systems www
    Unbiased enlightening tutorial with impartial description of how OSs work, Stuff Works: Operating Systems, and many related links. How Stuff Works: Operating Systems.
  • Statistics Internet Operating System Counter www
    Statistics on Internet OS use, Operating System Counter, WWW, FTP, and News servers. Over 940,000 hosts checked in this 1999 survey. Internet Operating System Counter.
  • Alexa: Microkernel Operating Systems
    alexa:/topsites/category/Top/Computers/Software/Operating_Systems/Microkernel
    Alexa Directory Top Sites: Microkernel Operating Systems
  • DMOZ: Microkernel Operating Systems
    dmoz:/Computers/Software/Operating_Systems/Microkernel
    dmoz.org Directory: Microkernel Operating Systems