注册会员 | 设为首页 | 加入收藏夹
您好，欢迎光临本网站！[请登录] ！[注册会员]！  

搜索资源列表

  1. OKL4 微内核手册

  2. OKL4 微内核手册，介绍了微内核的接口以及架构。OKL4 微内核手册，介绍了微内核的接口以及架构。

  3. 所属分类：专业指导

    • 发布日期：2010-01-13
    • 文件大小：2mb
    • 提供者：LITTLEGL

  1. okl4_3.0微内核源码

  2. OKL4 3.0最新源码，是研究L4微内核的好学习资料，有需要的关注。

  3. 所属分类：Java

    • 发布日期：2010-11-27
    • 文件大小：11mb
    • 提供者：hmlrain

  1. 微内核L4 Iguana资料汇总

  2. 微内核l4和iguana的资料，介绍，用户手册等。

  3. 所属分类：专业指导

    • 发布日期：2011-02-22
    • 文件大小：5mb
    • 提供者：plateros

  1. fiasco/l4微内核

  2. fiasco/l4微内核，是第二代微内核操作系统，值得下载学习。

  3. 所属分类：其它

    • 发布日期：2012-07-21
    • 文件大小：1mb
    • 提供者：csuguoguo

  1. L4Linux文档

  2. L4微内核技术，介绍了基于L4微内核的Linux系统。L4Linx是在Linux进行了修改。

  3. 所属分类：Linux

    • 发布日期：2013-06-07
    • 文件大小：743kb
    • 提供者：u010992297

  1. L4 微内核技术

  2. 一篇介绍L4微内核技术的文章，阐述了L4使用的微内核技术，特点。

  3. 所属分类：其它

    • 发布日期：2013-06-07
    • 文件大小：996kb
    • 提供者：u010992297

  1. codezero关键数据结构

  2. codezero的关键数据结构分析，codezero是一个基于L4的微内核

  3. 所属分类：其它

    • 发布日期：2014-12-27
    • 文件大小：28kb
    • 提供者：buaakq66

  1. Unix sel4 微内核源码

  2. seL4是世界上最小的内核之一。但是seL4的性能可以与当今性能最好的微内核相比。 作为微内核，seL4为应用程序提供少量的服务，如创建和管理虚拟内存地址空间的抽象，线程和进程间通信IPC。这么少的服务靠8700行C代码搞定。seL4是高性能的L4微内核家族的新产物，它具有操作系统所必需的服务，如线程，IPC，虚拟内存，中断等。

  3. 所属分类：Unix

    • 发布日期：2018-05-15
    • 文件大小：1mb
    • 提供者：lzlsu

  1. 微内核操作系统综述（microkernel os survey）

  2. 1980-2000年间，microkernel操作系统被广泛研究，目的是解决macrokernel的巨大，不安全，更新困难等问题，但是，由于性能上的原因，微内核系统没有发展起来。最近cpu性能已经足够强大，微内核系统又逐渐发展，例如google的zircon内核就是微内核系统，本文给出了微内核系统的概念和发展，比较等内容。适合入门者理解宏观微内核的概念

  3. 所属分类：其它

    • 发布日期：2018-06-25
    • 文件大小：332kb
    • 提供者：suo_guang