|
L4
Do you need L4?
Check it out the following sites about L4, or search L4
» 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
» 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 h
» L4 Microkernel - L4/MIPS: stable L4 for MIPS R4x00 processor, may be fastest kernel for this architecture. L4/Alpha: begun at Technical University of Dresden, SMP version released. Linux ports: L4/MIPS, L4/Alpha underway.
» L4-Hurd: Porting GNU Hurd to L4 - Free Software Foundation project: page has brief pro and con description, many links.
» L4Ka Project - L4-based microkernel systems, for embedded systems to huge servers. L4: a tiny, fast, second generation microkernel using hierarchical external pagers and guarded page tables. Goals: create, prove, establish new methodology for systems that helps manage g
» Perseus - A secure platform for applications that use digital signatures. Based on L4 and Linux. Research project at University of Saarbruecken, Germany.
» SawMill: A Highly-Configurable Operating System - Goal: address the complexity of building and maintaining a variety of custom OSs. As embedded and personal systems grow more common, the need to make OSs customized to many device and application needs rises. At IBM T.J. Watson Research Center.
» 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.
» The Hurd on L4 - Porting the Hurd to the L4 microkernel. News, plans, pointers to mailing lists and websites.
|
|
| Make money |
Want to secure a greater income?
Unlimited Income Opportunity! |
|
Free advertising | Need to get some extra traffic to your website?
Need free advertising? Join us and promote your site for free! |
|
Magic-Search |
Search the web easy at Magic-Search.com
Join affiliate program and make money |
|
Work at home
| | Looking for a Work at Home Business? Earn income world wide Simple and fun. |
|
Buy This Box! |
Do you want to Promote your website? Try FindingWeb Keyword Sponsor Box for ONLY $30 a Month! Try also our pay per click advertising!
Sign up Now! |
|
