|
| |
| | Microkernel - Wikipedia, the free encyclopedia |
 | | With a microkernel there is less chance that an updated networking system would do anything other than inconvenience the user and require that one program to be relaunched. | | | Everything else can be done in a user program, although in a minimal microkernel, some user programs may require special privileges to access I/O hardware. | | | Historically, UNIX interprocess communication has been based on the UNIX pipe mechanism and the Berkeley socket mechanism used for networking. |
|
http://en.wikipedia.org/wiki/Microkernel
(1738 words)
|
|
| |
| | Kernel (computer science) - Wikipedia, the free encyclopedia |
| | Microkernels are often used in embedded robotic or medical computers because most of the OS components reside in their own private, protected memory space. | | | There are some microkernels which should not be considered to be pure microkernels, because they implement some functions such as server services. | | | The main disdvantage of monolithic kernels is the dependency between system components - a bug might crash the entire system - and the fact that large kernels also become difficult to mantain. |
|
http://en.wikipedia.org/wiki/Kernel_(computer_science)
(2131 words)
|
|
| |
| | Object Oriented Transaction Processing in the KeyKOS Microkernel |
| | Three major technological directions in computer technology are transaction processing, object orientation, and microkernel operating systems. | | | The microkernel's checkpoint mechanism supports the caching in virtual memory of information normally stored in disk files, while maintaining consistency and durability. | | | It is worthwhile to note the generality of the object-oriented microkernel paradigm here. |
|
http://www.cis.upenn.edu/~KeyKOS/KeyTXF/KeyTXF.html
(4920 words)
|
|
| |
| | Appendix A - The Tanenbaum-Torvalds Debate |
| | MINIX may well be designed as a microkernel system, but in the end you still end up with a large monolithic chunk of binary data that gets loaded in as "the OS". | | | MICROKERNEL VS MONOLITHIC SYSTEM Most older operating systems are monolithic, that is, the whole operating system is a single a.out file that runs in 'kernel mode.' This binary contains the process management, memory management, file system and the rest. | | | Microkernels are definitely a better design for many tasks. |
|
http://www.oreilly.com/catalog/opensources/book/appa.html
(13146 words)
|
|
| |
| | [No title] |
| | In addition to its portability and its operating system neutrality, we were interested in the microkernel as a foundation for research into real-time and distributed computing issues. | | | The inode pager is also responsible for flushing a memory object from the microkernel cache when needed, for example when a mapped binary is recompiled. | | | The OSF MK microkernel and the ODE development environment are available under the OSF Free Copyright, allowing free sources and binaries usage, copying and distribution. |
|
http://pauillac.inria.fr/~lang/hotlist/free/licence/fsf96/mklinux.html
(9151 words)
|
|
| |
| | Green Hills Software Unleashes the Royalty-Free velOSity Microkernel |
| | The velOSity microkernel enables exceptionally fast application development out of the box and is tightly integrated with the MULTI Integrated Development Environment (IDE), the industry’s market-leading development tool set and the Green Hills Optimizing C and C++ compilers. | | | Founded in 1982, Green Hills Software, Inc. is the technology leader for real-time operating systems and software development tools for 32- and 64-bit embedded systems. | | | The velOSity microkernel is completely hardware independent and does not require a board support package (BSP) or any other board-specific code. |
|
http://www.ghs.com/news/20040329_velosity.html
(906 words)
|
|
| |
| | Microkernel-based OS Efforts |
| | Exokernels are a further extension of the microkernel approach where the "kernel" per se is almost devoid of functionality; it merely passes requests for resources to "user space" libraries. | | | The microkernel architecture abstracts lower-level os facilities, implementing them in kernel space, and moves higher-level facilities to processes in user space. | | | New kinds of deadlocks and other error conditions are possible between system components that would not be possible with a monolithic kernel. |
|
http://linuxfinances.info/info/microkernel.html
(1975 words)
|
|
| |
| | OS-FAQ Wiki - Microkernel |
| | A drawback is the amount of messaging and Context Switching involved, which makes microkernels conceptually slower than a Monolithic Kernel. | | | There are also additional benefits for OS's that support multi-CPU computers (much simpler re-entrancy protection and better suitability for asynchronious functionality) and distributed OS's (code can use services without knowing if the service provider is running on the same computer or not). | | | There are two papers available on the web discussing the performance issues involved in microkernel designs: |
|
http://www.mega-tokyo.com/osfaq2/index.php/Microkernel
(521 words)
|
|
| |
| | The Off++ microkernel |
| | The third version of the system (known as Off++v2) is rather different from the original design and is named Plan B. | | | The whole network, not a single node is considered to be the hardware to be managed. | | | The OS toolkit (OSKit) developed at Utah as part of the Flux project has been used to develop the both the old Off and the new Off++ microkernel. |
|
http://plan9.escet.urjc.es/who/nemo/off.html
(452 words)
|
|
| |
| | Microkernel - Software Directory : Operating Systems : Microkernel |
| | New microkernel operating system for x86 computers, many features: network and Internet modules, file system (FAT); kernel handles memory, tasks, micro kernels, and some base devices: keyboard, video, hdd, and ramdrive. | | | Microkernel - Software Directory : Operating Systems : Microkernel | | | Goal: Provide modern functionality for a new OS layer and run most Amiga applications as efficiently as possible in a box environment with no Classic Amiga custom chips available. |
|
http://www.osmosis.ca/directory/index.php?c=Operating_Systems/Microkernel
(297 words)
|
|
| |
| | BYTE.com |
| | The microkernel approach can also help improve the overall quality of the computing environment. | | | Since the OSF is working closely with IBM on microkernel issues, it will look at the IBM approach to device drivers when it receives the technology. | | | With all the processor-specific code isolated into the microkernel, changes needed to run on a new processor are fewer and group logically together. |
|
http://www.byte.com/art/9401/sec8/art2.htm
(4830 words)
|
|
| |
| | 1 to 199 |
| | The MicroKernel must create an extension file to accommodate a file which is growing larger than the operating system file size limit. | | | The workstation MicroKernel cannot assign a handle to the pre-image file because the MicroKernel was not started by a user with access rights to the pre-image file. | | | The file structure of a pre-image file created by this MicroKernel is different from the file structure of a pre-image file created by a v5. |
|
http://www.pervasive.com/support/technical/codes2k/1statcod5.html
(14679 words)
|
|
| |
| | A historic first step for the Hurd/L4 microkernel port Nerdshift |
| | The disadvantage of microkernels is that they generally run slower than monolithic kernels, although this didn't discourage Andrew Tanenbaum to debate with Linus Torvalds about a microkernel approach to Linux. | | | It is GNU's replacement for the Unix kernel, and currently it can support a graphics environment, is usable by experienced end users and is used by the Debian GNU/Hurd distribution. | | | The execution of the first user program on Hurd/L4 is a very important historic first step towards the completion of the ambitious project that strives to provide a fast L4-based microkernel for the GNU operating system. |
|
http://portal.wikinerds.org/gnu-hurd-l4-first-program
(2138 words)
|
|
| |
| | Open Directory - Computers: Software: Operating Systems: Microkernel: Open Source |
| | JTMOS - Operating system aimed at OS developers and users who are very advanced at using computers generally; microkernel, multitasking, multithreaded, some garbage collection. | | | Spoon Microkernel - Hobby and education OS, for Intel compatible CPUs; simple, available source code make it a useful source of learning material. | | | Mika OS - Low-level coded, AI oriented microkernel OS, based on neural nets. |
|
http://dmoz.org/Computers/Software/Operating_Systems/Microkernel/Open_Source
(484 words)
|
|
| |
| | The L4 microkernel family |
| | DDE is an environment for Linux device drivers for using native Linux 2.4 drivers together with L4Env. | | | Further information can be found on the Fiasco site. | | | If you are new to this site, please start exploring it at the overview page. |
|
http://os.inf.tu-dresden.de/L4
(438 words)
|
|
| |
| | The Design of PARAS Microkernel |
| | In 1997, a large number of developers were working on the development of PARAS microkernel for PARAM 9000, a Sun SPARC based MPP system, I was assigned the task of writing a PARAS microkernel design document. | | | From 1995 to 1998, I served as a member of C-DAC, the developer of India's first supercomputer, Operating System Group involved in the research and development of microkernel based operating system, called PARAS, for the C-DAC PARAM series of Supercomputers. | | | The design document was aimed at acting as a supportive information for software engineers who will be working on the future developmental and enhancement works related to PARAS microkernel. |
|
http://www.buyya.com/microkernel
(303 words)
|
|
| |
| | RTOS, velOSity microkernel - small, fast, royalty-free RTOS - Green Hills Software |
| | It can also be configured for use without a board support package for your target hardware, further reducing your memory footprint and implementation complexity. | | | RTOS, velOSity microkernel - small, fast, royalty-free RTOS - Green Hills Software | | | Rapidly develop high performance software for cost sensitive devices |
|
http://www.ghs.com/products/velosity.html
(1302 words)
|
|
| |
| | L4HQ - The L4 Headquarters |
| | L4Linux offers a great environment in which to develop and research with L4 microkernels. | | | This release should not be used in production environments nor for performance evaluations. | | | NICTA embedded OS framework released (Posted by Gernot, 24 Nov 2005) |
|
http://www.l4hq.org
(974 words)
|
|
| |
| | L4Ka - The L4 microkernel family and friends |
| | The L4Ka research project aims at substantiating and establishing a new methodology for system construction that helps to manage ever-increasing OS complexity and minimizes legacy dependence. | | | The technology should help to manage ever-increasing OS complexity, enable stepwise innovations in OS technology while preserving legacy compatibility, and lead to a widely-accepted foundation of system architecture. | | | Our vision is a microkernel technology that can be and is used advantageously for constructing any general or customized operating system including pervasive systems, deep-computing systems, and huge servers. |
|
http://www.l4ka.org
(160 words)
|
|
| |
| | Microkernel |
| | implements the per-thread data interface between the microkernel subsystems, such as the UNIX subsystem. | | | In a first approach, assume that a thread may be either active or waiting. | | | The microkernel is the heart of the C5 operating system and contains the minimum elements required to make a functioning system. |
|
http://www.jaluna.com/doc/c5/html/Overview/x717.html
(1657 words)
|
|
| |
| | Container - Castle |
| | The Windsor Container aggregates the MicroKernel, exposing a friendly interface and providing the subsystems needed for external configurations and other common helpers. | | | Windsor is not another container, instead it just add some functionality to MicroKernel. | | | Castle provides a very simple MicroKernel that implements the core of an Inversion of Control container. |
|
http://www.castleproject.org/index.php/Container
(276 words)
|
|
| |
| | Welcome to MkLinux.org |
| | MkLinux is a project begun by the OSF Research Institute (now Silicomp RI) and | | | All of the Apple-hosted lists have digest versions available. | | | Apple Computer to port Linux, a freely distributed UNIX-like operating system, to a variety of Power Macintosh platforms running on top of OSF Research Institute's implementation of the Mach microkernel. |
|
http://www.mklinux.org
(358 words)
|
|
| |
| | rtmk - free real-time microkernel |
| | rtmk is free real-time microkernel developed by Johan Rydberg. | | | This is rtmk, a free real-time microkernel released under the GNU General Public License version 2 or later. | | | It shared alot of ideas with the Mach microkernel developed by CMU in the late 80's and early 90's (project stopped in -94). |
|
http://rtmk.sourceforge.net
(493 words)
|
|
| |
| | L4 microkernel |
| | Liedtke continued development of the Intel version of L4 while at IBM TJ Watson Research Center and later at the | | | The L4 microkernel was developed and implemented on ix86 platforms by Jochen Liedtke, then at GMD, Germany. |
|
http://www.cse.unsw.edu.au/~disy/L4
(178 words)
|
|
| |
| | QNX Product Overview |
| | Thanks to 20+ years of technology innovation, our multiple context switches can easily beat the single context-switch performance of other open source and commercial OSs. | | | As a result, capabilities that are virtually impossible to implement in other architecture models, such as a monolithic systems, come for "free" in a microkernel-based system. | | | Three key OS architecture choices are currently available to today's embedded developers: realtime executive, monolithic, and microkernel. |
|
http://www.qnx.com/tech_highlights/microkernel
(432 words)
|
|
| |
| | microkernel - OneLook Dictionary Search |
| | microkernel : Free On-line Dictionary of Computing [home, info] | | | Tip: Click on the first link on a line below to go directly to a page where "microkernel" is defined. | | | We found 2 dictionaries with English definitions that include the word microkernel: |
|
http://www.onelook.com/cgi-bin/cgiwrap/bware/dofind.cgi?word=microkernel
(77 words)
|
|
| |
| | L4Ka::Pistachio microkernel |
| | This document gives a broad overview of the key features of the Version 4 API and the L4Ka::Pistachio microkernel. | | | L4Ka::Pistachio is the latest L4 microkernel developed by the | | | The source code is open source and released under the two-clause BSD license. |
|
http://www.l4ka.org/projects/pistachio
(385 words)
|
|
| |
| | Maxine 1.1 Released: A JMX Microkernel |
| | Such a microkernel would take the MBeans and these MBean configured with parameters from a configuration file will then instantiate the services and so on. | | | The applications without management feature cannot appeal users, so there is a management interface where the application goes; The application and management interface overlaps exactly. | | | This way you can still use your services in any other way and you are not bound to |
|
http://www.theserverside.com/news/thread.tss?thread_id=27123
(2197 words)
|
|
| |
| | The RadiOS - microkernel based operating system |
| | The RadiOS microkernel (rmk) has a set of system calls compatible with QNX Neutrino 6.1. | | | The Task Manager (equivalent to the process manager in QNX) also has compatible message format. | | | So if you like either of these systems, or if you like NASM programming - probably you will find RadiOS interesting. |
|
http://radios.sourceforge.net
(286 words)
|
|
| |
| | MicroKernel - Castle |
| | Most Inversion of Control containers implementations mix different concerns resulting in a tool which is hard to test and hard to extend. | | | "The Microkernel Architecture Pattern is a useful pattern when a system consists of a core set of services that may be augmented at build-time with a variety of additional services." - 'Real-Time Design Patterns' by Bruce Powel Douglass | | | This is the very basic of MicroKernel capabilities, however there are a lot to be said about it, but we'll leave it to the proper documentation articles. |
|
http://castleproject.org/index.php/MicroKernel
(337 words)
|
|
| |
| | microkernel from FOLDOC |
| | Nearby terms: MicroGnuEmacs « Micro Instrumentation and Telemetry Systems « Micro Interpreter for Knowledge Engineering « microkernel » microLenat » microlog » micrometre |
|
http://foldoc.org/?query=MicroKernel
(48 words)
|
|
|
