Find link

language:

Find link is a tool written by Edward Betts.

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

searching for Microkernel 50 found (309 total)

F5, Inc. (2,267 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 (778 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 (598 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 (346 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,436 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

French Institute for Research in Computer Science and Automation (876 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

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

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

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

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

Castle Project (467 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

List of software architecture styles and patterns (275 words) [view diff] exact match in snippet view article find links to article

invocation Hexagonal Architecture (also known as Ports and Adapters) Layered Microkernel Microservices Model–view–controller Monolithic application Object request

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

IPsec (5,086 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

Slab allocation (1,235 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.2, it's now

PowerPC (5,281 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,663 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

GNU Guix (3,094 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

Santa Cruz Operation (18,923 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

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,200 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,439 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

PARAM (2,004 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

Actian Zen (2,570 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

Raspberry Pi (18,392 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

List of Linux distributions (3,273 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,148 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

Emin Gün Sirer (1,060 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

Jay Lepreau (379 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

Tablet computer (13,140 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

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

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,355 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

RISC-V (14,438 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

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

Timeline of Australian inventions (8,353 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

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,271 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