Marek Uher's Bookmarks

Any suggestions, new links or comments (including notices about broken links) sent, please, to: marek@uher.info
Thank you very much.

 
 
Administration menu

 Home
 Main
 Recent
 Search
 Previous version (obsolete)


Categories

 Categories
 Debian resources
 
 Debian sites
 
 Debian architectures
 
 Debian ports
 
 Debian based projects
 
 Debian based distros
 
 Debian goodies
 
 Debian packages
 
 Debian HOWTOs
 
 Configuration
 
 Development
 
 Installation
 
 Debian tools
 
 Debian news
 
 Debian misc
 
 Linux resources
 
 Architectures
 
 Clustering
 
 High availability
 
 High performance
 
 Core components
 
 Accounting
 
 Debugging
 
 Management
 
 Memory
 
 NUMA & SMP
 
 Schedulers
 
 General
 
 HOWTOs
 
 Configuration
 
 Development
 
 Installation
 
 Laboratories
 
 Networking
 
 Repositories
 
 Security
 
 Storages and FS
 
 Management
 
 File sytems
 
 Journaling
 
 Distributed
 
 Shared
 
 Others
 
 Virtualization
 
 Bootloaders
 
 -Kernels
 
 Czech sites
 
 Unsorted
 


-Kernels
CMU Mach
    Generic microkernel.
    http://www-2.cs.cmu.edu/afs/cs/project/mach/public/www/mach.html
EROS
    Small, secure and real-time microkernel.
    http://www.eros-os.org/design-notes/00DesignNotes.html
Exokernel
    Tiny microkernel from MIT.
    http://pdos.csail.mit.edu/exo.html
Fiasco
    -kernel running on x86 compatible with the L4 -kernel.
    http://os.inf.tu-dresden.de/fiasco/
GNU Mach
    The microkernel of the GNU system.
    http://www.gnu.org/software/hurd/gnumach.html
K42
    High performance microkernel for cache-coherent multiprocessors.
    http://www.research.ibm.com/K42/
KeyKOS
    Capability-based object-oriented nanokernel.
    http://www.cis.upenn.edu/~KeyKOS/NanoKernel/NanoKernel.html
L3
    -kernel for i386, i486 and Pentium processors.
    http://os.inf.tu-dresden.de/L4/l3.html
L4
    The L4 -kernel family.
    http://os.inf.tu-dresden.de/L4/
L4Ka
    Microkernel L4Ka
    http://l4ka.org/
LSE/OS
    Robust nanokernel which never crash.
    http://etudiant.epita.fr/~lse/
Pistachio
    L4 based microkernel for many different processors.
    http://l4ka.org/projects/pistachio/
SPIN
    An Extensible Microkernel for Application-specific Operating System Services.
    http://portal.acm.org/citation.cfm?id=504390.504408

Sort: A-Z, Z-A, Newest, Oldest,
Most recent, Less recent, None






hidentity.org

NAVRCHOLU.cz Visitor Map
ip-location Locations of visitors to this page

©2002-2009 uher.info MapLoco counter