YURTSEVEN.ORG is completely for sale, including entire Databases and Domainname.    Price: USD 499.999,-    Phone: +49(176)74919078
 
     
     
www.yurtseven.org
 www.yurtseven.org
 

 
 Computers » Software » Operating Systems » Realtime » L4


 Categories

IoL4 (8)  

 Web Pages    1 - 10   of   12


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. ...

http://os.inf.tu-dresden.de/L4/

[more pages from this URL] 


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 wait...

http://os.inf.tu-dresden.de/fiasco/

[more pages from this URL] 


 3 - L4Ka Project Browse Website open in new window
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 th...

http://l4ka.org/

[more pages from this URL] 


Growing article, with links to many related topics. Wikipedia.

http://en.wikipedia.org/wiki/L4_microkernel_family

[more pages from this URL] 


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

[more pages from this URL] 


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...

http://www.cse.unsw.edu.au/~disy/Mungi/

[more pages from this URL] 


 7 - L4 Microkernel Browse Website open in new window
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/

[more pages from this URL] 


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/

[more pages from this URL] 


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/

[more pages from this URL] 


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/

[more pages from this URL] 




1  2  Next »»




Olympos Beach


Add URL  |  My Listings  |  My Account  |  New Membership  |  Contact