- 博客(5)
- 资源 (1)
- 收藏
- 关注
RSS订阅原创 ARM V8框架结构下的开发平台
Juno ARM 开发平台Juno ARM开发平台（ADP）是一款 ARMv8-A 软件开发平台，它包括 Juno Versatile Express 开发板和一个从 Linaro 获得的 ARMv8-A 参考软件端口，Juno 软硬件平台提供给开发者和厂商一样的资源： - Cortex-A57 和 A53 多核 ARMv8 big.LITTLE Mali-T624 - 3D 图像加速和
2015-10-28 18:21:18
2151
转载 ARM虚拟化调研
===========ARM虚拟化调研报告=================================================调研报告，总的来说调研结果如下：1） 当前ARM虚拟化背景:a) 商用背景：虚拟化很早就有解决方案了，其中著名的是OKL4 Microvisor by OKL4， MVP by VMware，Red Bend Software， Trango，
2015-10-17 13:22:56
3121
翻译 seL4 内核服务、对象以及基本能力访问和控制
内核服务和对象微内核提供了一些有限的原始服务，更多复杂的服务要在这些原始服务基础上像应用程序一样实现。以此种服务，此系统的功能可以被拓展而不用增加特权模式下的代码和复杂度，虽然在应用程序域潜在的支持相当广泛的服务。 seL4 内核基本支持的服务如下：线程（Threads ）是CPU支持应用程序运行的抽象化。地址空间（Address spaces）是一块包含一个应用程序的虚拟内存空间，应用程序只能使
2015-10-16 16:33:40
1861
翻译 seL4 参考手册目录
seL4 reference PDF 1.介绍：12.内核服务与对象：22.1 基于能力（capability）的访问控制：2 2.2 系统调用：3 2.3 内核对象：4 2.4 内核内存分配：5 2.4.1 重用内存：63.能力作用领域 3.1 能力和能力作用领域的管理 3.1.1 能力作用领域的创建 3.1.2 CNODE 方法 3.1.3 能力的权力 3.1.4 能力的推导
2015-10-16 16:18:12
1131
翻译 seL4系统调用
seL4 系统调用seL4微内核为线程间通信提供了一个消息传递服务。这个服务也被使用于内核提供的服务的通信中。这是一个标准的消息格式，每个消息包含了数据字以及有可能有一些能力。这些消息的结构体和编码被详细的在第四部分记载。线程通过调用他们能力空间中的能力来发送消息。当用这种方式调用一个终端节点的时候，消息需要经过内核传递到其他线程中。当内核对象的能力被调用时，这消息将会被解释成想一个关于内核对象类型
2015-10-15 17:47:53
1218
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人