Language / Country:
Sites similar to L4ka.Org
L4Ka - L4Ka Project
Description: 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 ...
Popular Searches: l4ka
Site rating:
3.0 / 5.0, reviewed by Sites Like Search
Language: English
Site topics: software
The E1 operating system is aimed to provide efficient support for reliable distributed computing, based on object replication, component model support and ...
Site rating:
3.0 / 5.0, Language: English
Open Components for Embedded Real-time Applications: integrated execution environment for embedded realtime programs. Combines 2 kernels, Linux and RTLinux-GPL to ...
Site rating:
3.0 / 5.0, Language: English
School of Computer Science and Engineering. Major research areas include machine learning, VLSI design, multimedia databases and formal methods in software ...
Site rating:
3.0 / 5.0, Language: English
A secure platform for applications that use digital signatures. Based on L4 and Linux. Research project at Applied Data Security Group, Ruhr-University Bochum ...
Site rating:
3.0 / 5.0, Language: English
L4 and Linux based research project aiming at the support of applications with Quality of Service requirements. At TU Dresden.
Site rating:
3.0 / 5.0, Language: English
Wind River is a world leader in embedded and mobile software. Wind River has been pioneering computing inside embedded devices since 1981 and its technology is ...
Site rating:
4.2 / 5.0, Language: English
Created to be central information resource for QNX community: news, explanations, FAQ, forums, newsgroups, mailing lists, downloads, links, tech reviews, searches ...
Site rating:
3.0 / 5.0, Language: English
Site rating:
3.9 / 5.0, Language: English