Hongyi LU

Hongyi LU

Ph.D candidate

Blog posts

2024

QEMU made easy.

2 minute read

Published:

How to quickly run a virtual machine in QEMU.

2023

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).

2022

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 读完了。

2021

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 虚拟机的配置启动上。

2019