微内核
文章平均质量分 85
HaveFunInLinux
这个作者很懒,什么都没留下…
展开
-
三个微内核和四个名字的故事
译者注:本文摘取下面博客的一部分内容说明。因为我们很翻译 2014-08-22 15:37:47 · 2483 阅读 · 0 评论 -
关于 CAmkES
本文译至:http://sel4.systems/CAmkES/About.pml关于CAmkESCAmkES是面向seL4的一个基于组件的软件平台。它提供了一个软件开发和运行时平台,允许开发人员设计基于seL4的系统作为交互组件的集合。 动机基于微内核的多服务器操作系统被设计成一个保护和分离服务的集合,服务之间通过进程间通信机制进行通信。由于这些服务是由内核和硬件翻译 2014-08-31 15:48:33 · 2086 阅读 · 0 评论 -
seL4开发环境:CentOS 和 Fedora上的工具链
Toolchains on CentOS and FedoraThese instructions are for information only — at NICTA we usually use Debian-derived build systemsFollow the instructions in All RPM-Based Variants then the ones翻译 2014-08-30 15:02:30 · 1734 阅读 · 0 评论 -
OK Labs公司的故事(1):从头开始
This month marks the second anniversary of the acquisition of Open Kernel Labs (OK Labs) by General Dynamics (GD). It also marks ten years of us engaging with Qualcomm on commercialising L4 microker翻译 2014-09-01 10:38:18 · 1115 阅读 · 0 评论 -
可信系统之路
转载自:http://www.docin.com/p-400101454.html转载 2014-08-31 23:13:47 · 866 阅读 · 0 评论 -
Xenomai 2.6.4 发布, 支持 Atmel SAMA5D3
At the end of September, the Xenomai project has announced the release of version 2.6.4. For the record, Xenomai is a hard real-time extension to the Linux kernel.在九月底,Xenomai项目已经公布了2.6.4版本的发布。根翻译 2014-10-11 16:12:28 · 1851 阅读 · 0 评论 -
关于Xenomai开发嵌入式实时系统的一些浅见
嵌入式系统的开发,如果对实时性要求不高,就可以使用Linux自身的实时补丁实现软实时性。但是在需要硬实时的情况下,通常是双系统来做,一个硬实时的RTOS加上一个Linux,实时任务都在RTOS上跑,其他的任务在Linux上,好处是能保证系统的实时性,坏处是系统间的通讯需要额外的设计,如使用共享内存的方式,同时实时OS需要独占一部分资源,同时开发及调试的难度比较高。与之相比,Xenoma原创 2015-02-20 17:17:14 · 4441 阅读 · 0 评论 -
zephyr 环境设置
zephyr 是 Linux 基金会推出的面向物联网的 RTOS,目前在本地的环境上试了一下。下面是相关的记录。可参考:https://www.zephyrproject.org/doc/getting_started/getting_started.html1. 代码的下载$ git clone https://gerrit.zephyrproject.org/r原创 2016-03-02 17:57:08 · 3048 阅读 · 0 评论 -
2016年8月17日 Google 启动谜一样的新OS项目「Fuchsia」
本文翻译至:http://gihyo.jp/admin/clip/01/linux_dt/201608/17Pink + Purple == Fuchsia(a new Opereating System)―仅仅有上述的说明就开始的Google新OS项目「Fuchsia」开始在硅谷附近静悄悄地引发话题。 Fuchsia | GitHub大概在美国时间的翻译 2016-08-17 13:09:54 · 1073 阅读 · 0 评论 -
Zephyr OS 内核篇: 执行上下文
本文转载至:http://iot-fans.xyz/2016/07/28/zephyr/kernel-context/ 本文简要介绍一下 Zephyr OS 执行上下文的基本概念以及相关的 API,这是后面学习的基础。概念 在 Zephyr OS 中,存在三种类型的执行上下文:task 上下文:task 上下文是一个可抢占的、基于优先级的线程,主要用于处转载 2016-08-31 09:24:44 · 1108 阅读 · 0 评论 -
CAmkES
本文译至:http://sel4.systems/CAmkES/CAmkESCAmkES provides an easier way to develop seL4-based software and systems. It simplifies the design of a multi-server system and frees the developer fr翻译 2014-08-31 11:28:41 · 1244 阅读 · 0 评论 -
seL4 下载
本文译至:http://sel4.systems/Download/代码所有的seL4代码和证明都可以在GitHub上找到: https://github.com.au/seL4, 在标准的开放源代码许可证下。有几个仓库;最有趣的是项目库(后缀名为-manifest)和这两个: l4v seL4 证明seL4 seL4 内核seL4 项目seL4内翻译 2014-08-30 17:36:49 · 3187 阅读 · 0 评论 -
seL4微内核开源
General Dynamics C4 Systems和NICTA宣布开源Secure Embedded L4(seL4)微内核,源代码托管在GitHub上,采用的是GPLv2许可证。seL4是世界上第一个形式证明安全增强的通用操作系统内核,开发者宣称它是第一种没有漏洞的软件,能防止系统崩溃或恶意攻击。From: http://www.solidot.org/story?sid=40536转载 2014-07-30 21:25:10 · 2166 阅读 · 0 评论 -
OKL4 Microvisor
Why mobile virtualization?Virtualization has been an essential mainstream technology in data center and desktop applications. Virtual machine managers - hypervisors - enable enterprise servers, bl翻译 2014-08-22 14:33:17 · 2723 阅读 · 0 评论 -
L4微内核系列
来源维基:http://zh.wikipedia.org/wiki/L4%E5%BE%AE%E5%86%85%E6%A0%B8%E7%B3%BB%E5%88%97转载 2014-08-21 22:57:50 · 2920 阅读 · 0 评论 -
General Dynamics 收购 Open Kernel Labs (OK Labs)
不知道多少人见过这本书的封面,不知道多少人从这本书开始折腾操作系统。大家管这本书叫 Lions book. 书的作者,John Lions 98 年去世. 他把 UNIX 介绍到澳大利亚,建立第一个 UNIX Group。在这本书的基础上,他在 UNSW 开了第一个真刀真枪干操作系统的课程。在96年之前,这本书只能在地下流传,但是人手一本。2006 年,UNSW 的 Alumni 在转载 2014-08-21 22:43:31 · 1306 阅读 · 0 评论 -
seL4 FAQ
本文译至:http://sel4.systems/FAQ/ 译者:萝卜什么是seL4?seL4是L4微内核家族中最先进的成员,值得注意的是其全面的形式验证,这使它有别于其他任何操作系统。seL4达成这个目标同时不会影响性能。什么是微内核?微内核是操作系统(OS)的最小核心。它呈现的是今天通常被认为的操作系统的一个很小的子集。微内核的定义由利特克给出[SOSP'95]:一翻译 2014-08-24 10:58:33 · 4968 阅读 · 0 评论 -
seL4 调试指南
http://www.cse.unsw.edu.au/~cs9242/13/project/debugging.shtml转载 2014-08-24 11:37:19 · 4077 阅读 · 3 评论 -
基于L4微内核的操作系统
近几年来,L4微内核越来越受到大家的关注,研究和使用L4的人越来越多,但是对于L4介绍的中文资料仍然很少,本文试图收集各种基于L4的操作系统项目,以帮助大家研究学习只用。基本上,各种L4系统可以分为两种,一种是dead system,另外一种就是live system。对于dead system,如果已经丧失了研究的意义,那么也不会收入本列表当中。 关于L4系统,一般来讲,目前公认的L转载 2014-08-24 18:41:48 · 9534 阅读 · 1 评论 -
关于Elastos
在查找微内核相关资料时,发现国内有一款关于原创 2014-08-24 15:52:36 · 3054 阅读 · 2 评论 -
seL4 构建和测试
转载至:https://source2014.hackpad.com/seL4--IJItb9IDncR转载 2014-08-28 23:36:13 · 2395 阅读 · 1 评论 -
Inside Real-Time Linux
本文转载于:https://www.linux.com/news/event/elce/2017/2/inside-real-time-linuxReal-time Linux has come a long way in the past decade. Jan Altenberg of Linutronix provides an overview转载 2017-02-28 14:03:05 · 2824 阅读 · 1 评论