- 博客(330)
- 资源 (5)
- 收藏
- 关注
原创 seL4 实验环境
在正式进行项目的 下载/编译/开发/测试 之前,需要准备好系统环境,安装一些依赖软件和基本的配置。比较快速的方式是使用 Docker 部署实验环境
2023-01-07 09:00:00 1038 1
原创 seL4 背景知识
微内核发展到目前为止经历了三代, 这里做一些归纳。参考《现代操作系统: 原理与实现》中操作系统结构一章, 关于微内核架构发展的介绍。
2023-01-07 09:00:00 1640
原创 Git仓库分支变基
rebase也是整合不同分支的方法,和merge不同的是它会改变提交历史。`git help rebase`命令查看具体描述。
2023-01-07 06:45:00 975 1
原创 Git仓库查看内容记录
使用`git blame`能显示任何文件中每行最后一次修改的提交记录。`git blame --help`查看具体描述
2023-01-07 06:30:00 863 1
原创 Git仓库合并提交
工具用来合并一个或者多个分支到你已经检出的分支中。 然后它将当前分支指针移动到合并结果上。`git help merge`命令查看具体描述。
2023-01-07 05:45:00 692 1
原创 Git仓库子模块管理
子模块允许你将一个 Git 仓库当作另外一个Git仓库的子目录。这允许你克隆另外一个仓库到你的项目中并且保持你的提交相对独立。配置文件在`.gitmodules`
2023-01-07 05:30:00 855
原创 Git仓库进行二分查找
`git bisect`能在commit区间中检出中间的patch,通过不断地二分查找,最终定位到带bug的patch
2023-01-07 05:30:00 387 1
原创 Git仓库储藏和清理
贮藏(stash)会处理工作目录的脏的状态——即跟踪文件的修改与暂存的改动——然后将未完成的修改保存到一个栈上, 而你可以在任何时候重新应用这些改动(甚至在不同的分支上)。或在清理(clean)文件。
2023-01-07 05:00:00 1335 1
原创 Git仓库获取远程
从远程取最新的patch或者分支,引用的信息记录到`.git/FETCH_HEAD`这个文件中。可以借助`git fetch --help`查看具体描述。可以操作一个分支`git pull = git fetch + git merge`,也可以单独pick一个patch `git fetch + git cherry-pick`。
2023-01-07 05:00:00 928 1
原创 Git仓库还原提交
revert还原提交,撤销已经存在的commit的所有更改,原来的commit将保留,并用新commit来记录还原后的结果。git help revert命令查看具体描述。
2023-01-07 04:15:00 1137 1
原创 Git仓库查看历史
显示项目提交历史,通过参数选项可以控制log显示的方式。`git help log`查看具体描述。`git log` 有两个高级用法:一是自定义提交的输出格式,二是过滤输出哪些提交。这两个用法合二为一,你就可以找到你项目中你需要的任何信息。
2023-01-05 22:28:50 1565 1
原创 节点和结点区分
结,连结 节,关节 可以这样做简单的区分节点被认为是一个实体,有处理能力,比如说网络上的一台计算机;结点则只是一个交叉点,像“结绳记事”,打个结,做个标记,仅此而已;在数据结构-树形结构中叫做结点。网络中一个中继服务器,一个终端机叫做节点。。。...
2023-01-03 07:26:19 3711
原创 P.A.R.A.
PARA 是 Project-Area-Resource-Archive 的简称,将信息分类的方法论。PARA 让我对信息的类别有新的理解,我想可以用这样的方法来对我的笔记进行分类,融入我的 Obsidian 工作流中。
2023-01-01 00:04:52 1074
原创 解决 .gitignore 不生效的问题
命令清除缓存区中的 fileA,然后重新将工作区的 fileA 和 .gitignore 提交到缓存区,这样 .gitignore 中标记的 fileA 这条规则就生效了,它就可以被 git 系统忽略掉了。开发过程中,我把某个 fileA 加入 .gitignore 中,希望这个 fileA 不被 git 系统跟踪。但是没有生效,此时 fileA 仍然是被跟踪的状态。比较好理解: 由于 fileA 在缓存区中,仍然被 git 系统所记录。
2022-12-31 17:27:48 439
原创 卢曼卡片笔记法
Zettelkasten 是一种方法论,尼克拉斯·卢曼 通过这种方法建立他的笔记系统。这个系统就像一沓卡片,每一张卡片标注不同的信息,相同类别的卡片放在同一个的抽屉里,关联的卡片之间建立超文本链接。
2022-12-31 17:25:12 838
原创 我的笔记观
人体的有限性,包括认知局限、能量局限、信息局限。例如,人的注意力和记忆力是有限的,此时我的大脑意识只能专注一件事情。人的精力值是有限的,我的身体就像一块蓄电池,也需要充电和放电。而且我无法知道自己的未知的知识。
2022-12-31 17:24:35 693
原创 Linux内核移植 | 制作 rootfs
Linux内核启动后,需要挂载根文件系统。本章介绍文件系统的制作过程,留几个参考链接。1)自动生成: RAMDIRK。2)手工制作: ROOTFS。
2022-12-24 17:22:33 329
原创 认识 TEE OS
关于本文,是一篇,会议主题是《从 Linux Kernel 角度看 TEE》,主讲人是周贺贺。它适用于嵌入式系统开发/驱动开发/内核设计/安全业务设计从业者,目的是让自己掌握 TEE 基本概念,知道大系统软件架构。同时也解答下面几个问题。
2022-12-24 14:31:42 3194
原创 认识 Ftrace 机制
从做工作的角度,我能体会到的是trace event工具能带来工作效率的提升。从学习的角度,我相信使用ftrace工具能更加方便观测内核文档作为会议的记录和补充,会议主题是《使用Ftrace研究Linux内核》,主讲人是谢欢。
2022-12-24 14:25:13 1228
原创 搭建 Loongarch-Linux 模拟环境
尝试使用 qemu 模拟 loongarch 环境来运行社区版本的 linux 操作系统,结合开源提供的代码和文档做这个实验。应该需要准备。
2022-12-24 14:01:29 910 1
在线词典项目
2018-09-16
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人