奔跑的蜗牛87-CSDN博客

原创 Linux DMA地址分析

DMA（Direct Memory Access）直接内存访问。这里是一种访问内存的能力，不限于DMA控制器(DMAC)。

2024-01-22 22:02:32 1942 1

irq_domain_add_tree、irq_domain_create_tree：与上面的接口不一样的是，该接口的实现的映射关系存储为基数树radix_tree方式（基数树相关算法不详述），其映射关系以数的关系建立，可实现映射关系动态插入和删除，一般用于中断数目较多，且应用到的数目较少的情况，如GIC控制器实现了500个中断，但通常应用场景只使用了80个中断的情况。申请一个irq doamin，可使用的接口如下，这些接口调用的核心接口为 __irq_domain_add。

2023-03-28 11:28:27 455

原创 linux 中断简述

1、硬件中断设计关于中断，首先从其硬件结构说起，以下是一个典型的ARM soc的中断结构图。如图所示，所有模块的中断都接入到GIC（Generic Interrupt Controller, arm公司推出），然后由GIC接入到各个CPU。不同核心的CPU，使用的中断控制器不一样，如Riscv的中断控制器为 LIC（Local Interrupt Controller）。GIC主要的工作为仲裁中断，分发中断，针对不同的CPU的架构，可支持不同安全级别的中断。具体的GIC功能根据SOC使用的

2023-03-01 09:49:24 1254 1

原创 Linux platform device 分析

比如amba-bus下的i2c master是属于其一级child,会add。但是i2c master下的child，属于二级child，就不在这里creat&add了。I2C master下的child则是有其他驱动creat&add，以后分析。device_add 之后，kernel device core 会匹配相关的driver,如果匹配成功，会调用 device_driver_attach，实现驱动probe，完成device的初始化（涉及到通用驱动框架，详细流程以后分析）。.........

2022-08-10 00:08:52 958

seL4内核参考⼿册4.0.9(中文)

seL4微内核是⼀个操作系统内核，它被设计为能为⼴泛的应⽤领域提供安全、可靠的操作基础。作为微内核，它只为应⽤程序提供了少量的服务，⽐如创建和管理虚拟地址空间、线程以及进程间通信(IPC)的抽象等，少量的服务直接决定了其⼤约仅8700⾏C代码的⼩的实现。这就能够让ARMv6版本的内核可以通过Isabelle/HOL理论模型，遵循明确的规范进⾏形式化证明，进⽽验证了内核的强制完整性和保密性。内核的⼩尺⼨也有助于对最坏情况下执⾏时间(WCET)进⾏完整合理的分析。虽然我们已经努⼒确保本⼿册准确反映了seL4内核的⾏为，但本⽂档绝不是内核的正式规范。当需要知道内核在特定情况下的精确⾏为时，⽤⼾应该参考seL4抽象规范，它给出了 seL4内核的正式描述。

2024-05-31

空空如也

TA创建的收藏夹 TA关注的收藏夹

TA关注的人

滴滴答滴答

原创 Linux DMA地址分析

原创 irq_domain 分析

原创 linux 中断简述

原创 Linux platform device 分析

seL4内核参考⼿册4.0.9(中文)

linux USB驱动初始化流程及数据收发流程

linux-kernel-sched-flow linux内核调度流程框图

PSCI基本原理及应用场景介绍

linux多核CPU启动流程图

空空如也