CMake是一款跨平台的构建系统，它用于管理软件项目的构建过程。CMake并不直接构建软件，而是生成针对特定构建工具（如Make、Ninja或Visual Studio）的输入文件，使得开发者能够在不同的操作系统和编译器环境下一致地构建项目。CMake的版本3.17.0是这个工具链的一个稳定版本，提供了对Linux平台的支持，特别是x86_64架构。 在“cmake-3.17.0-Linux-x86_64.tar.gz”压缩包中，包含了CMake的预编译二进制文件和必要的库，使得用户可以直接在Linux系统上安装和使用，而无需从源代码编译。这个压缩包的结构通常包括以下部分： 1. `bin`目录：包含了可执行文件，如`cmake`、`ccmake`、`cpack`和`ctest`等，这些都是CMake的核心工具。`cmake`是主命令行工具，用于生成构建系统；`ccmake`提供了一个图形界面来交互式配置CMake变量；`cpack`用于打包和分发软件；`ctest`则用于自动化测试。 2. `share`目录：包含CMake模块（模块文件通常位于`share/cmake-3.17/Modules`），这些模块扩展了CMake的功能，如查找库、设置编译选项等。用户可以自定义这些模块来适应特定的项目需求。 3. `lib`目录：包含了CMake运行时所需的库文件，这些文件对于运行CMake脚本和命令是必不可少的。 4. `doc`目录：可能包含CMake的文档，包括HTML格式的手册页和其他参考资料，帮助用户理解和使用CMake。 5. `licenses`目录：包含了CMake的许可文件，通常为Apache 2.0或BSD风格的开源许可。 在Linux系统上，解压这个压缩包后，用户通常会将`bin`目录添加到系统的PATH环境变量中，以便在任何地方都能直接运行CMake命令。例如： ```bash tar -zxvf cmake-3.17.0-Linux-x86_64.tar.gz export PATH=$PWD/cmake-3.17.0-Linux-x86_64/bin:$PATH ``` 之后，用户就可以使用CMake来管理他们的项目了。CMake通过`CMakeLists.txt`文件来配置项目，这个文件包含了一系列指令，定义了如何构建项目、链接库、设置编译标志等。例如： ```cmake cmake_minimum_required(VERSION 3.17) project(MyProject) # 添加源文件 add_executable(MyProject main.cpp) # 链接所需的库 find_package(OpenGL REQUIRED) target_link_libraries(MyProject OpenGL::GL) ``` CMake的强项在于其跨平台性和可扩展性。通过简单的配置，它可以生成适用于各种编译器和构建系统的构建文件，如Unix Makefiles、Ninja或Xcode项目。此外，CMake支持现代C++特性，并与其他工具如Git、CTest和CPack紧密集成，为开发过程提供了全面的解决方案。

修复win10 wsl Centos 子系统 Failed to get D-Bus connection: Operation not permitted问题 执行下面的命令替换即可 mv /usr/bin/systemctl /usr/bin/systemctl.old mv systemctl.py /usr/bin/systemctl chmod +x /usr/bin/systemctl

《牛津大学CSP-FDR工具在Linux环境下的应用详解》 CSP-FDR，全称为 Communicating Sequential Processes - Formal Development and Refinement，是牛津大学开发的一种强大的形式化验证工具，专门用于验证并发和分布式系统的通信行为。该工具基于Hoare逻辑和 CSP 理论，提供了一种严谨的方法来分析、设计和证明软件系统的正确性。在版本2.94中，牛津大学对其进行了优化，使其更加适应Linux操作系统，进一步提升了在这一平台上的性能和易用性。 CSP（Communicating Sequential Processes）是英国计算机科学家Tony Hoare提出的一种进程交互理论，它为描述并发系统提供了一种形式化语言。CSP的核心概念是进程、通信和同步，它允许开发者以一种结构化的方式描述系统的并发行为，从而更好地理解和验证系统的复杂交互。 FDR，全称Four-Valued Deductive Reachability，是CSP的一个实现，它支持对并发系统的模型检查和推理。FDR通过四种可能的值（True, False, Maybe, Unknown）来处理不确定性和未定义的行为，使得分析结果更为全面和精确。FDR不仅支持基本的CSP操作，还包括了对部分订单事件（POE）和数据流网络（DFN）的支持，这些功能极大地扩展了其在验证领域的应用范围。 在Linux环境下，安装和使用CSP-FDR工具的关键步骤包括： 1. **下载与解压**：你需要下载牛津大学发布的CSP-FDR工具2.94版本的压缩包，并将其解压到指定目录，如`/usr/local`或个人工作目录。 2. **配置环境变量**：为了方便使用，需要将FDR的可执行文件路径添加到系统环境变量`PATH`中。例如，如果FDR的二进制文件位于`/usr/local/FDR2.94/bin`，则在`.bashrc`或`.bash_profile`文件中添加如下行： ``` export PATH=$PATH:/usr/local/FDR2.94/bin ``` 之后，通过运行`source ~/.bashrc`或`source ~/.bash_profile`使更改生效。 3. **使用FDR**：现在，你可以通过命令行启动FDR并开始工作。例如，可以使用`fdr`命令打开交互式会话，或者通过`fdrsh`命令运行一个脚本文件。FDR提供了丰富的命令和语法，用于构建、分析和验证CSP模型。 4. **工作空间管理**：在提供的压缩包`FDR_workspace-master`中，包含了FDR的工作空间示例。这通常包含CSP模型文件、配置文件以及相关的测试用例。用户可以根据自己的项目需求创建和组织工作空间，使用FDR进行验证。 5. **学习与资源**：为了更好地理解和使用CSP-FDR，推荐查阅官方文档，参加在线教程，以及参考牛津大学提供的其他相关材料，如论文、案例研究等。 通过深入理解CSP-FDR工具的原理和操作，开发者能够在设计复杂的并发系统时，有效地避免潜在的错误和冲突，确保系统的正确性和可靠性。在Linux环境下，CSP-FDR的高效运行和灵活使用，为系统验证带来了极大的便利。

Lazarus IDE on ARM Linux (Ubuntu Touch phone) - YouTube.mp4

gcc-arm-10.3-2021.07-mingw-w64-i686-aarch64-none-linux-gnu

linux 程序设计，非常经典的教程，由浅入深的讲解在linux下的程序设计。

### Linux设备驱动模型详解 #### 一、嵌入式设备基本概念及Linux设备驱动模型概述 在嵌入式系统开发中，理解设备驱动模型是非常重要的一步。本文将围绕AHB/APB/PCI总线以及相关的Linux设备驱动模型展开讨论。 **嵌入式设备基本概念** - **SoC (System on Chip)**：指将一个完整系统的各个主要组成部分整合到单一的集成电路芯片上的技术。 - **AHB (Advanced High-performance Bus)**：这是一种高速总线，通常用于连接高性能的处理器内核和其他高速设备。 - **APB (Advanced Peripheral Bus)**：这是一种低速总线，主要用于连接低速外设。 - **PCI (Peripheral Component Interconnect)**：一种广泛使用的I/O总线标准，用于连接计算机主板和各种扩展卡。 - **UART (Universal Asynchronous Receiver/Transmitter)**：一种常用的串行通信协议，常用于计算机与外部设备之间的数据传输。 - **SPI (Serial Peripheral Interface)**：一种同步串行通信接口标准，用于快速的短距离通信。 - **GPIO (General Purpose Input Output)**：一种可以由软件配置成输入或输出的引脚。 - **MDIO (Management Data Input/Output)**：一种串行通信总线，用于连接管理器件与具备管理功能的收发器。 - **PLL (Phase Locked Loop)**：锁相环，是一种电路，能够锁定输入信号的频率，常用于时钟信号的产生和调整。 - **系统频率的调整**：通过倍频器和分频器来调整时钟频率，为不同的设备提供合适的时钟信号。 #### 二、Linux设备驱动模型 Linux设备驱动模型主要包括三个核心组件：总线、设备和驱动。 1. **总线 (Bus)** - 定义了设备与驱动之间如何交互的标准，如AHB、APB和PCI总线。 - 总线的`match`函数负责匹配驱动与设备。 2. **设备 (Device)** - 代表硬件设备的抽象，包括其属性和操作。 - 当设备被注册时，它会被添加到特定的总线上。 3. **驱动 (Driver)** - 控制设备的具体软件实现。 - 包含了初始化、配置、清理等功能。 **设备驱动模型的工作流程** - **总线注册与初始化** - 在内核启动过程中，总线会被注册。 - 例如，对于SoC平台总线，在内核初始化时，会调用`bus_register(&platform_bus_type)`。 - `platform`总线用于连接各类采用`platform`机制的设备，并且只需要注册和初始化一次。 - **设备注册** - 使用`platform_device_register()`来注册设备。 - 调用`pdev->dev.bus = &platform_bus_type->device_add()`，将设备添加到总线上。 - **驱动注册** - 驱动的注册过程涉及多个步骤。 - 使用`platform_driver_register()`进行注册。 - 注册后会调用`driver_probe_device()`，进一步调用驱动的`probe`函数进行设备探测。 - 探测成功后，设备会被绑定到相应的驱动上。 - `probe`函数的功能包括获取设备资源、内存映射、申请中断等。 #### 三、实例分析 以`ath9k`无线网卡驱动为例： 1. **注册** - 在驱动初始化函数`ath9k_init()`中，使用`module_init`注册驱动。 - 调用`ath_pci_init`和`ath_ahb_init`来进行更具体的初始化工作。 2. **初始化** - 初始化过程中，会调用`ieee80211_alloc_hw`等函数来分配硬件资源。 #### 四、总结 Linux设备驱动模型通过定义一套统一的接口和机制，简化了驱动程序的开发和维护工作。通过对总线、设备和驱动的抽象，使得不同的硬件设备可以通过相似的方式进行管理和控制。了解这些基础概念对于深入学习Linux操作系统和嵌入式系统具有重要意义。

该脚本为个人手写广和通5G模块FG652-CN自动拨号shell脚本。 环境：openwrt 简介：脚本中使用的是shell调用本地minicom（也可改为直接向相应ttyUSB口输出AT指令），进行5G拨号，使用crontab配置该脚本每2分钟执行一次，脚本中带有断线重拨功能。

Stellar Toolkit for Data Recovery 11.0.0.0 Full是一款专业的数据恢复软件套装，它可以帮助用户恢复误删除、格式化、病毒感染、硬盘损坏等情况下丢失的各种数据。该套装包含多个独立的软件模块，涵盖了从Windows、Mac、Linux等多个操作系统和各种存储介质（包括硬盘、SSD、USB驱动器、SD卡等）的数据恢复，用户可以根据具体情况选择和操作。此外，Stellar Toolkit for Data Recovery 11.0.0.0 Full还具备高级数据恢复技术，如RAID数据恢复、光盘数据恢复、Outlook PST文件恢复、Exchange数据库恢复等，适用于数据恢复专业人士和企业用户。该软件还提供了友好的界面和操作流程，方便普通用户进行操作。

移植linux3.10的kconfig工具，使用该工具之后，可以针对不同的需求，生成不同的编译配置文件，完成不同应用组合的构建功能。 （busybox、buildroot也是借助linux 的kconfig工具实现类似功能）