Find link

language:

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 48 found (304 total)

F5, Inc. (2,234 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,982 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

Musl (564 words) [view diff] exact match in snippet view article find links to article

OpenWrt, Sabotage, Morpheus Linux, Chimera Linux, and Void Linux. The seL4 microkernel ships with musl. For binaries that have been linked against glibc, gcompat

NeXT Computer (784 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

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

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

List of software under the GNU AGPL (379 words) [view diff] case mismatch 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

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

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

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,445 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,564 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 (598 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

LuxCoreRender (1,522 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

Department of Computer Science and Technology, University of Cambridge (1,423 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

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

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

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

GNU Guix System (1,942 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

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

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

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 (222 words) [view diff] exact match in snippet view article find links to article

Domain-driven designing Event-driven aka implicit invocation Layered Microkernel Model–view–controller Monolithic application Object request broker Peer-to-peer

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

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

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

Slab allocation (1,248 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

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

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

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

Nintendo 3DS system software (4,192 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

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

OSGi (2,432 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

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

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

RISC-V (13,517 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

Unidirectional network (2,397 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,155 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,306 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,307 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,600 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,248 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