https://e-sygoing.link Latest links in the L4 category en-us Sun, 24 May 2026 20:22:54 -0400 https://e-sygoing.link/link/5680990-l3-l4-microkernel-family 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 only a minimal set of abstractions on which OSs can be built flexibly. L3 has system-wide persistence. Wed, 15 Apr 2026 17:31:13 -0400 https://e-sygoing.link/go/5680990 https://e-sygoing.link/link/5680989-fiasco Preemptible, realtime, 2nd-generation microkernel, fast, maintainable, readable, supports hard priorities, uses non-blocking synchronization for kernel objects to guarantee priority inheritance, ensure runnable high-priority processes never block waiting for lower ones; rework of L4 interface. [Open Source, GPL] Sun, 05 Apr 2026 04:49:39 -0400 https://e-sygoing.link/go/5680989 https://e-sygoing.link/link/5680997-perseus 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. Sat, 08 Nov 2025 06:13:12 -0500 https://e-sygoing.link/go/5680997 https://e-sygoing.link/link/5680995-the-hurd-on-l4 Porting the Hurd to the L4 microkernel. News, plans, pointers to mailing lists and websites. Fri, 03 Oct 2025 14:13:07 -0400 https://e-sygoing.link/go/5680995 https://e-sygoing.link/link/5680999-e1 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 objects acting at the user level. [Open source] Tue, 23 Sep 2025 00:02:54 -0400 https://e-sygoing.link/go/5680999 https://e-sygoing.link/link/5680998-drops-the-dresden-realtime-operating-system-project L4 and Linux based research project aiming at the support of applications with Quality of Service requirements. At TU Dresden. Thu, 18 Sep 2025 21:15:51 -0400 https://e-sygoing.link/go/5680998 https://e-sygoing.link/link/5680992-sourceforge-l4ka-microkernel 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. Sun, 19 May 2024 10:50:40 -0400 https://e-sygoing.link/go/5680992