Browse New Popular Keyword Cloud Advanced Search Submit a Link
All ArtsBusinessChildrenComputersGamesHealthHomeNewsRecreationReferenceRegionalScienceShoppingSocietySports

L4

7 links
DROPS - The Dresden Realtime Operating System Project
os.inf.tu-dresden.de

L4 and Linux based research project aiming at the support of applications with Quality of Service requirements. At TU Dresden.

293 visits Sep 18, 2025 Details
E1
e1os.org

A distributed operating system based on the concepts of object replication, component model support and persistence. It consists of a L4 microkernel and a set of distributed object…

455 visits Sep 23, 2025 Details
Fiasco
os.inf.tu-dresden.de

Preemptible, realtime, 2nd-generation microkernel, fast, maintainable, readable, supports hard priorities, uses non-blocking synchronization for kernel objects to guarantee priorit…

287 visits Apr 5, 2026 Details
L3-L4 Microkernel Family
os.inf.tu-dresden.de

Lean, with fast, message-based, synchronous IPC, simply-used external paging mechanisms, security mechanism based on secure domains: tasks, clans, chiefs. Kernels try to implement …

73 visits Apr 15, 2026 Details
Perseus
perseus-os.org

A secure platform for applications that use digital signatures. Based on L4 and Linux. Research project at Applied Data Security Group, Ruhr-University Bochum., Germany.

13 visits Nov 8, 2025 Details
SourceForge: L4Ka Microkernel
sourceforge.net

The L4Ka microkernel is an L4 compatible kernel running on many platforms: ARM; MIPS; 68k, PPC; x86. A port of Linux atop an L4Ka microkernel exists.

155 visits May 19, 2024 Details
The Hurd on L4
nongnu.org

Porting the Hurd to the L4 microkernel. News, plans, pointers to mailing lists and websites.

338 visits Oct 3, 2025 Details

Showing 20–7 of 7 results

Submitting to: L4
Full form / Premium
Category Info
Links11
Submit a Link
Get the best links delivered weekly — hand-picked from 1,200,810 resources