Sitemap

A list of all the posts and pages found on the site. For you robots out there, there is an XML version available for digesting as well.

Pages

Posts

QEMU made easy.

2 minute read

Published:

How to quickly run a virtual machine in QEMU.

Gentoo system/kernel update procedure

1 minute read

Published:

Due to the forgetfulness of myself, I write this article to record the procedure of updating my Gentoo system (kernel).

x86 Page Fault 处理

1 minute read

Published:

x86 中异常处理源代码定义复杂,此日志用于记录源代码分析流程,基于内核版本 5.19.0

Pointers in BPF program

5 minute read

Published:

In BPF program, there is a type for each register, which changes and is checked by the verification. If instruction is BPF_MOV64_REG(BPF_REG_1, BPF_REG_5), then type of R5 is copied to R1.

eBPF CVE 分析

2 minute read

Published:

分析了一堆 BPF 中出现的 CVE 们。

Activate CoreSight on DragonBoard 410c

1 minute read

Published:

I am poor and all Juno Boards in our lab are under use of fuzzing (leave fuzzing away). So I have to buy a cheap board with CoreSight support, with lab funding.

LKD 读书笔记 Part 2

5 minute read

Published:

Linux Kernel Development 读书笔记的第二部分,不知道何时有第三部分:)

LKD 读书笔记 Part 1

3 minute read

Published:

这是 LKD 的读书笔记,希望能对自己以后在 Linux 下开发内核程序有所帮助。

Hoare 逻辑

13 minute read

Published:

Hoare 逻辑是一种证明程序性质的有效方法,它包含了两种为程序撰写规范的想法。

逻辑基础小结

1 minute read

Published:

从第一次了解到 Software Foundation 开始,已经过去了好几个年头,而我终于把它的第一卷 Logic Foundation 读完了。

RISC-V PMP 测试与抽象

4 minute read

Published:

物理内存保护(Physical Memory Protection)是 RISC-V 安全性设计的一个重要组成部分。其分为三种保护模式,NA4、NAPOT、TOR,其中 NA4 是 NAPOT 的一种特殊形式。

RISC-V 工具链 & QEMU 虚拟机

1 minute read

Published:

本文主要关注 RISC-V 工具链的搭建以及相应的 QEMU Linux 虚拟机的配置启动上。

portfolio

publications

Paper Title Number 4

Published in GitHub Journal of Bugs, 2024

This paper is about fixing template issue #693.

Recommended citation: Your Name, You. (2024). "Paper Title Number 3." GitHub Journal of Bugs. 1(3).
Download Paper

talks

teaching

Teaching experience 1

Undergraduate course, University 1, Department, 2014

This is a description of a teaching experience. You can use markdown like any other post.

Teaching experience 2

Workshop, University 1, Department, 2015

This is a description of a teaching experience. You can use markdown like any other post.