The Genode operating-system framework extends existing kernels (e.g., microkernel or hypervisor) and provides a uniform API for applications. Currently, L4ka::Pistachio, OKL4 (ARM and x86), L4/Fiasco, and Linux (x86-32 and x86-64) are supported.
Browse Files for Genode OS Framework
| File/Folder Name | Platform | Size | Date ↓ | Downloads | Notes/Subscribe |
|---|---|---|---|---|---|
| Subdirectory (view all files) | |||||
| genode | 118.4 MB | 2009-02-27 | 191 | Subscribe Folder view | |
| 9.02 | 118.4 MB | 2009-02-27 | 191 | Subscribe Folder view | |
| genode-9.02.tar.bz2 | 7.6 MB | 2009-02-27 | 117 | Release Notes | |
| genode_qt-9.02.tar.bz2 | 110.7 MB | 2009-02-26 | 74 | Release Notes | |
About SourceForge
Develop Software
Community
Copyright © 2009 Geeknet, Inc. All rights reserved. Terms of Use
