[修订版]Xenomai/IPIPE源代码情景解析 第一章:Interrupt Pipeline介绍 1.1 I-pipe与Xenomai1.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_disable3.4 第二行之_ipipe_init_early()3.5 第三行之__ipipe_init()3.6 第四行之__ipipe_init_proc() 第四章:双内核中断流动 4.1 Xenomai如何初始化4.2 物理中断号如何转换成Linux中断号4.3 Linux的中断处理流程4.4 timer中断从Xenomai流向Linux4.5 仅在head domain注册的设备中断4.6 仅在root domain注册的设备中断4.7 chained中断如何流动4.8 中断流动的标识及场景总结 第五章:双内核系统调用 ARM64 Linux系统调用ARM64 Xenomai系统调用IPIPE:双内核交互之ipipe_flagsIPIPE:双内核系统调用 第六章:双内核任务调度 Xenomai进程的创建流程Xenomai线程的创建流程IPIPE:双内核交替调度数据结构IPIPE:双内核交替调度