L4 - Musharof Chy

Musharof Chy

2579 views

Created 11 months ago

A distributed operating system based on the concepts of object replication, component model support...

Musharof Chy

2579 views

Created 11 months ago

Orthogonally persistent, capability-based secure SASOS using L4 2nd generation microkernel. Goals: ...

Musharof Chy

2579 views

Created 11 months ago

Preemptible, realtime, 2nd-generation microkernel, fast, maintainable, readable, supports hard prio...

Musharof Chy

2579 views

Created 11 months ago

Lean, with fast, message-based, synchronous IPC, simply-used external paging mechanisms, security m...

Musharof Chy

2579 views

Created 11 months ago

L4-based microkernel systems, for embedded systems to huge servers; Pistachio kernel. L4: tiny, fas...

Musharof Chy

2579 views

Created 11 months ago

The L4Ka microkernel is an L4 compatible kernel running on many platforms: ARM; MIPS; 68k, PPC; x86...

Musharof Chy

2579 views

Created 11 months ago

L4/MIPS: stable L4 for MIPS R4x00 processor, may be fastest kernel for this architecture. L4/Alpha:...

Musharof Chy

2579 views

Created 11 months ago

A secure platform for applications that use digital signatures. Based on L4 and Linux. Research pro...

Musharof Chy

2579 views

Created 11 months ago

L4 and Linux based research project aiming at the support of applications with Quality of Service r...

Musharof Chy

2579 views

Created 11 months ago

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

Musharof Chy

2579 views

Created 11 months ago

Porting the Hurd to the L4 microkernel. News, plans, pointers to mailing lists and websites.