[修订版]Xenomai/IPIPE源代码情景解析
- 第一章：Interrupt Pipeline介绍
- 1.1 I-pipe与Xenomai
- 1.2 I-pipe核心概念
- 1.3 拉取I-pipe代码
- 第二章：I-pipe对ARM64异常的改造
- 2.1 ARM64中断机制与异常处理
- 2.2 EL0_IRQ 中断改造之入口
- 2.3 EL0_IRQ 中断改造之中断处理
- 2.4 EL0_IRQ 中断改造之返回
- 2.5 EL1_IRQ 中断改造
- 2.6 EL0_SYNC与EL1_SYNC 异常改造
- 第三章：I-pipe启动过程及初始化
- 3.1 四行启动代码与内核初始化神话
- 3.2 内核初始化(盘古开天地)
- 3.3 第一行之hard_local_irq_disable
- 3.4 第二行之_ipipe_init_early()
- 3.5 第三行之__ipipe_init()
- 3.6 第四行之__ipipe_init_proc()
- 第四章：双内核中断流动
- Xenomai如何初始化
- 物理中断号如何转换成Linux中断号
- Linux的中断处理流程
- timer中断从Xenomai流向Linux
- 仅在head domain注册的设备中断
- 仅在root domain注册的设备中断
- chained中断如何流动
- 中断流动的标识及场景总结
- 第五章：双内核系统调用
- ARM64 Linux系统调用
- ARM64 Xenomai系统调用
- IPIPE：双内核交互之ipipe_flags
- IPIPE：双内核系统调用
- 第六章：双内核任务调度
- Xenomai进程的创建流程
- Xenomai线程的创建流程
- IPIPE：双内核交替调度数据结构
- IPIPE：双内核交替调度
)
