L4Linux
L4Linux is a Linux kernel that has been adapted ("ported") to the L4Re APIs such that it runs as a user-level application on top of L4Re. You may call this virtualization or para-virtualization, however, with the broad existance of hardware support for virtualization, L4Linux remains to be useful for special-purpose use-cases as well as being a worderful learning tool for the Linux kernel, L4Re, m
The L4 microkernel family
Site Navigation: Overview Developer's bibliography L4 implementations and docs Fiasco * Pistachio * L4/x86 other... Projects and applications using L4 DROPS * L4Linux * Mungi * Perseus * other... L3 Papers and reports What's new (* = offsite link) Search in L4 and Fiasco sites: Quick links: L4-Hackers list archive L4HQ NICTA/UNSW L4 website Back to the Operating Systems homepage Welcome to the L4
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
