Find link

language:

jump to random article

Find link is a tool written by Edward Betts.

Longer titles found: L4 microkernel family (view), EROS (microkernel) (view), Vanguard (microkernel) (view)

searching for microkernel 53 found (314 total)

alternate case: Microkernel

F5, Inc. (2,268 words) [view diff] exact match in snippet view article find links to article

logging, bootup, console access, etc.) Creation of a Traffic Management Microkernel (TMM) to directly talk to the networking hardware and handle all network
Self-modifying code (4,981 words) [view diff] no match in snippet view article find links to article
In computer science, self-modifying code (SMC or SMoC) is code that alters its own instructions while it is executing – usually to reduce the instruction
NeXT Computer (732 words) [view diff] exact match in snippet view article find links to article
speed of 25 MHz. Its NeXTSTEP operating system is based on the Mach microkernel and BSD-derived Unix, with a proprietary GUI using a Display PostScript-based
Musl (600 words) [view diff] exact match in snippet view article find links to article
postmarketOS Sabotage Morpheus Linux Chimera Linux Void Linux The seL4 microkernel ships with musl. For binaries that have been linked against glibc, gcompat
Galileo (operating system) (779 words) [view diff] exact match in snippet view article
scalable, portable, multi-tasking, multi-threading, object-oriented, microkernel operating system", reportedly significant enough to Acorn's strategy
Btrieve (5,590 words) [view diff] case mismatch in snippet view article find links to article
front-ends that plugged into a standard software interface called the MicroKernel Database Engine. The Btrieve front-end supported the Btrieve API and
Jean-Loup Gailly (138 words) [view diff] exact match in snippet view article find links to article
Chorus Systèmes SA, he designed the real-time executive of the ChorusOS microkernel. From 1999 to 2001, he was the CTO of Mandrakesoft. From 2006 to 2014
AIM alliance (2,134 words) [view diff] exact match in snippet view article find links to article
its own Workplace OS and Taligent, replacing Taligent's microkernel with the IBM Microkernel and adopting Taligent's CommonPoint application framework
Alien thread (99 words) [view diff] exact match in snippet view article find links to article
another processor. Alien threads are implemented in the Fiasco.OC/L4 microkernel operating system. Federico Meza; Jorge Pérez R.; Yadran Eterovic (January
List of software under the GNU AGPL (347 words) [view diff] exact match in snippet view article find links to article
Community Edition FreeJ FreePBX Frei0r Friendica Genenetwork Genode - Microkernel-based operating system framework Ghostscript Gitorious GlobaLeaks GNUnet
Rich client platform (238 words) [view diff] exact match in snippet view article find links to article
side. RCP is software consisting of the following components: A core (microkernel), lifecycle manager A standard bundling framework A portable widget toolkit
LynxSecure (935 words) [view diff] exact match in snippet view article find links to article
Leveraging multi-core CPU hardware virtualization features and smaller than a microkernel (as small as 15kB), LynxSecure is primarily targeted to raise the assurance
OS/2 (8,591 words) [view diff] exact match in snippet view article find links to article
an entirely new microkernel code base, intended (eventually) to host several of IBM's operating systems (including OS/2) as microkernel "personalities"
Linux-libre (1,570 words) [view diff] exact match in snippet view article find links to article
Hurd, an operating system kernel developed by GNU, which follows the microkernel paradigm Libreboot LibrePlanet List of computing mascots Open-source
Hubert Zimmermann (612 words) [view diff] exact match in snippet view article find links to article
Chorus Systèmes SA in 1986, which commercialised the Chorus distributed microkernel operating system that had been created at INRIA. Chorus Systèmes was
SimOS (374 words) [view diff] exact match in snippet view article find links to article
It is capable of running the Linux kernel or the NICTA::Pistachio L4 microkernel. The currently available commercial product, Virtutech Simics was derived
NetCache (570 words) [view diff] exact match in snippet view article find links to article
customers. The hardware NetCache appliance included the NetApp Data ONTAP microkernel, with its Write Anywhere File Layout file system, achieving four times
Department of Computer Science and Technology, University of Cambridge (1,437 words) [view diff] exact match in snippet view article find links to article
identification with vanishingly small false-accept rate Nemesis – real-time microkernel OS Active Badge System – Active Bat – ultrasonic indoor positioning system
French Institute for Research in Computer Science and Automation (881 words) [view diff] exact match in snippet view article find links to article
language from the ML family Caml Light and OCaml implementations Chorus, microkernel-based distributed operating system CompCert, verified C compiler for
List of JBoss software (643 words) [view diff] exact match in snippet view article find links to article
Cutting Concerns". JBoss Community. "JBoss IIOP". JBoss Community. "JMX/Microkernel". JBoss Community. "JRunit". JBoss Community. "Gravel". JBoss Community
LuxCoreRender (1,608 words) [view diff] exact match in snippet view article find links to article
in the LuxCoreRender 2.0+ project reboot (current version) include: Microkernel pure-OpenCL "Path" render engine, supporting any number of GPUs and OpenCL-enabled
Actian Zen (2,736 words) [view diff] case mismatch in snippet view article find links to article
Zen consists of two database engines: (1) the storage engine, known as MicroKernel Database Engine (MKDE) and described as a transactional database engine
List of software architecture styles and patterns (352 words) [view diff] exact match in snippet view article find links to article
Architecture (also known as Ports and Adapters) Layered architecture Microkernel architecture Pipes and Filters architecture Microservices (Modular) monolithic
Castle Project (491 words) [view diff] case mismatch in snippet view article find links to article
project to be released after the split was DynamicProxy, on May 4, 2009. MicroKernel, a core lightweight inversion of control (IoC) container. Windsor, a
TRIX (operating system) (713 words) [view diff] exact match in snippet view article
require porting to other architectures, and it was decided that the Mach microkernel was a better underlying design for a server-based operating system.[citation
Slab allocation (1,230 words) [view diff] exact match in snippet view article find links to article
5.0) GNU Mach Haiku (introduced in alpha 2) Horizon (Nintendo Switch microkernel) HP-UX (introduced in 11i) Linux (introduced in kernel 2.1.23, it's now
IPsec (5,313 words) [view diff] exact match in snippet view article find links to article
(2015). "Implementation and performance evaluation of embedded IPsec in microkernel OS". 2015 World Symposium on Computer Networks and Information Security
PowerPC (5,346 words) [view diff] exact match in snippet view article find links to article
simultaneously host all existing operating systems as personalities upon one microkernel. From 1991 to 1995, the company designed and aggressively evangelized
DragonFly BSD (2,683 words) [view diff] exact match in snippet view article find links to article
kernel messaging subsystem being developed is similar to those found in microkernels such as Mach, though it is less complex by design. DragonFly's messaging
DragonFly BSD (2,683 words) [view diff] exact match in snippet view article find links to article
kernel messaging subsystem being developed is similar to those found in microkernels such as Mach, though it is less complex by design. DragonFly's messaging
Santa Cruz Operation (18,925 words) [view diff] exact match in snippet view article find links to article
for cooperative work on the Chorus microkernel technology in the context of combining OpenServer with a microkernel for use in real-time processing environments
GNU Guix (3,459 words) [view diff] exact match in snippet view article find links to article
armv7, powerpc64le Kernel type Monolithic: Linux-libre (operational) Microkernel: GNU Hurd (under development) Userland GNU License GPL Official website
Monolithic application (624 words) [view diff] exact match in snippet view article find links to article
each has its own trade-offs: Layered architecture Modular monolith Microkernel architecture Mishra, Mayank; Kunde, Shruti; Nambiar, Manoj (2018). "Cracking
Nintendo 3DS system software (4,154 words) [view diff] exact match in snippet view article find links to article
Direct download Game Card Platforms Nintendo 3DS family Kernel type Microkernel License Proprietary Preceded by Nintendo DSi (system software) Succeeded
OSGi (2,480 words) [view diff] exact match in snippet view article find links to article
Adempiere361 originally started by Low Heng Sin Eclipse Virgo – open source microkernel-based server constructed of OSGi bundles and supporting OSGi applications
Raspberry Pi (18,638 words) [view diff] exact match in snippet view article find links to article
operating systems can also run on the Raspberry Pi. The formally verified microkernel seL4 is also supported. There are several ways of installing multiple
PARAM (2,154 words) [view diff] exact match in snippet view article find links to article
1109/IPPS.1994.288273. ISBN 0-8186-5602-6. S2CID 9917838. Mohan, RN. "A Microkernel Based Operating System for PARAM 9000" (PDF). Retrieved 24 July 2020
Emin Gün Sirer (1,061 words) [view diff] exact match in snippet view article find links to article
Przemyslaw; Savage, Stefan; Sirer, Emin Gün (1994). "SPIN - An Extensible Microkernel for Application-specific Operating System Services". CiteSeerX 10.1.1
List of Linux distributions (3,259 words) [view diff] exact match in snippet view article find links to article
PowerPC systems that runs the Linux kernel as a server on top of the Mach microkernel. Nitix Developed by Net Integration Technologies Inc., Nitix claims to
History of Linux (7,620 words) [view diff] exact match in snippet view article find links to article
S. Tanenbaum, recognized computer scientist and author of the Minix microkernel system, wrote a Usenet article on the newsgroup comp.os.minix with the
Jay Lepreau (397 words) [view diff] exact match in snippet view article find links to article
Alma mater University of Utah (1983) Known for Emulab testbed Fluke microkernel Flask security architecture OSKit Spouse Caroline Kueneman Children 4
Longene (1,841 words) [view diff] exact match in snippet view article find links to article
substitute for the Windows NT kernel. As opposed to Longene using the microkernel functions to implement Windows API in kernel space, Wine uses the macro
Tablet computer (13,207 words) [view diff] exact match in snippet view article find links to article
Nintendo Switch Lite handheld game console. It is based on a proprietary microkernel. The UI includes a HOME screen, consisting of the top bar, the screenshot
Unidirectional network (2,400 words) [view diff] exact match in snippet view article find links to article
GENUA have developed software based ("logical") data diodes that use a Microkernel Operating system to ensure unidirectional data transfer. Due to the software
Next-Generation Secure Computing Base (7,339 words) [view diff] exact match in snippet view article find links to article
30, 2015. Lettice, John (August 13, 2002). "MS recruits for Palladium microkernel and/or DRM platform". The Register. Situation Publishing. Retrieved January
Timothy A. Gonsalves (3,315 words) [view diff] exact match in snippet view article find links to article
B. Sain; T. A. Gonsalves (1997). "KeRTESy: A Real-Time Event-driven Microkernel". Dr. Dobb's Journal. UBM Technology Group: 48–58. A. Jhunjhunwala; B
RISC-V (15,111 words) [view diff] exact match in snippet view article find links to article
is expected to be upstreamed. There is a preliminary port of the seL4 microkernel. Hex Five released the first Secure IoT Stack for RISC-V with FreeRTOS
Timeline of Australian inventions (8,389 words) [view diff] exact match in snippet view article find links to article
Australia (NICTA), and Open Kernel Labs (OK Labs) released the seL4 microkernel, a small operating system kernel which regulates access to a computer's
List of Apache Software Foundation projects (4,631 words) [view diff] exact match in snippet view article find links to article
and 6 runtime and development kit HiveMind: services and configuration microkernel iBATIS: Persistence framework which enables mapping SQL queries to POJOs
Tock (operating system) (950 words) [view diff] exact match in snippet view article
Embedded systems Available in English Platforms ARM, RISC-V Kernel type Microkernel License MIT License, Apache Software License 2.0 Official website www
Center for Advancing Electronics Dresden (2,017 words) [view diff] exact match in snippet view article find links to article
Integrated Circuits Processing Chemical Information (DOI: 10.1039/C2LC40617A) Microkernel-Based System for Heterogeneous Manycores (DOI: 10.1145/2872362.2872371)
List of wireless sensor nodes (1,247 words) [view diff] exact match in snippet view article find links to article
SA-1100 59-206 MHz 32.768 kHz N/A N/A uOS (an adaptation of the eCOS microkernel) N/A N/A National Semiconductor LMX3162 Archived 2015-04-02 at the Wayback
List of software by Apple Inc. (5,469 words) [view diff] exact match in snippet view article find links to article
1999. Retrieved 24 October 2024. Mortin, Rich (March 1997). MkLinux: microkernel Linux for the Power Macintosh (3rd ed.). Prime Time Freeware. ISBN 978-1-881957-24-9