- 博客(4)
- 问答 (4)
- 收藏
- 关注
原创 sel4学习之旅-CAmkES 4
组件定义可以包括组合和配置部分。组合和配置节必须是组件定义中的最后一项。组合和配置部分可以按任何顺序显示。可以在没有配置的情况下包含组合节,但是只有在存在组合时才允许包含配置节。对于复合元件的每个实例,元件内声明的任何内部实例和内部连接都将复制到顶级组件中,复合元件实例的名称前面附加在它们自己的名称前面。在顶级组件的连接中,某个复合元件实例的虚拟接口的每个外观都会被替换为在解析该复合元件实例时复制到顶级组件中的内部实例的导出接口。然后,对于每个复合组件,将删除所有虚拟接口。如果这导致任何组件没有接口,
2022-06-06 15:35:13
245
原创 sel4学习之旅-CAmkES 3
CAmkES 组件通常是多线程的,为了防止出现争用情况,通常需要了解系统中存在哪些线程。首先,有一个活动线程。这是一个控制线程,它调用已声明的组件的组件入口点。此线程甚至存在于非控制组件中,以便执行初始化操作。组件与之交互的每个接口(无论是传入接口还是传出接口)都会在组件中引发另一个线程。这些线程及其各种设置活动的初始同步都由生成的代码处理。请注意,即使对于您可能认为是被动的接口,此每个接口线程也存在。例如,数据端口。这只是一个实现工件,将来可能会更改。CAmkES 系统中的每个线程都有一个优先级,该优先级
2022-06-02 16:20:50
388
原创 sel4学习之旅-CAmkES 2
CAmkES 硬件组件:硬件组件以组件的形式表示硬件的接口,使用关键字声明组件将创建硬件组件。下面显示了将硬件组件连接到驱动程序组件的示例,记下连接的参数顺序。每种类型的硬件组件接口都有一些工作所需的配置,这是通过设置设备组件实例的属性来完成的。必须指定内存的物理地址和大小(以字节为单位),以便提供给连接的组件。下面的示例指定组件实例命名的端口是从物理地址0xE0000000开始的0x1000字节区域。中断根据平台的不同,需要指定不同的信息才能将硬件中断源与组件中断处理程序连接。在 A
2022-06-02 14:25:19
1069
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人