Home
Music_Metasearch
Music Top Sites
Music Store
AllMusicListings
Concert Listings
Concert Tickets
AllMusicTalk
Chat Rooms
Message Boards
MusicNews
Pop Music News
Pop Music Reviews
Music Business
MP3 News
Community
Blogs
Free Member Blogs
AllMusicPages
Free Web Pages
AllMusicBookmarks
Your Bookmarks
AllMusicFun
Musical Postcards
Relationship Test
Tarot Readings
Numerology
Music Auctions
Auctions
Classifieds
Music Apparel
AllMusicSearch Apparel
Music Store
MP3 Players
Audio Equipment
MP3 Software
Musical Instruments
Music Books
Music Magazines
Music T-Shirts
Alternative Rock
Blues
Broadway & Vocal
Children's
Christian & Gospel
Classic Rock
Classical
Country
Dance & DJ
Folk
Hard Rock & Metal
International
Jazz
Latin Music
Miscellaneous
New Age
Opera & Vocal
Pop
R&B
Rap & Hip-Hop
Rock
Soundtracks
Music Videos
Music DVDs
L4 (12)
|
- Top/Computers/Software/Operating Systems/Microkernel
- Top/Computers/Software/Operating Systems/Microkernel/Mach/GNU Hurd
- Top/Computers/Software/Operating Systems/Open Source
- Top/Computers/Software/Operating Systems/Persistent
- Top/Computers/Software/Operating Systems/Realtime/Open Source
- Top/Computers/Software/Operating Systems/Research
- Top/Computers/Software/Operating Systems/x86
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
http://os.inf.tu-dresden.de/L4/
L4 and Linux based research project aiming at the support of applications with Quality of Service requirements. At TU Dresden.
http://os.inf.tu-dresden.de/drops/overview.html
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]
http://www.e1os.org/
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
http://os.inf.tu-dresden.de/fiasco/
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.
http://www.cse.unsw.edu.au/~disy/L4/
Growing article, with links to many related topics. Wikipedia.
http://en.wikipedia.org/wiki/L4_microkernel_family
Experimental port of Darwin to L4 to study traits of large-scale microkernel-based system; has port of IOKit to L4, modified libc to communicate to Darbat Server, XNU with many machine-dependent parts highly modified. National ICT Australia.
http://ertos.nicta.com.au/software/darbat/
L4-based microkernel systems, for embedded systems to huge servers; Pistachio kernel. L4: tiny, fast, 2nd generation microkernel using hierarchical external pagers and guarded page tables. Goals: create, prove, establish new methodology for systems that h
http://l4ka.org/
Orthogonally persistent, capability-based secure SASOS using L4 2nd generation microkernel. Goals: Prove SASOSs can run on normal hardware, be as secure as normal OSs; can be as efficient as, and are faster than, normal OSs in some important uses; can be
http://www.cse.unsw.edu.au/~disy/Mungi/
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.
http://www.perseus-os.org/
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.
http://sourceforge.net/projects/l4ka/
Experimental port of Linux to run on L4/Iguana; is not intended to be standalone, best used as part of Iguana project. National ICT Australia.
http://ertos.nicta.com.au/software/kenge/wombat/latest/
Last Updated: 2007-02-07 17:20:22
|
The content of this directory is based on the Open Directory and has been modified by AllMusicSearch.com editors
