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
Gentoo Live CD Adventures
Published:
Build a custom Gentoo Live CD.
Linux 中各种各样的 uid
Published:
本文介绍 Linux 中各种各样的 uid 们。
Pwn College Shell Code
Published:
Shellcode challenges in pwn.college.
QEMU made easy.
Published:
How to quickly run a virtual machine in QEMU.
Android AOSP kernel build, module build, and misc.
Published:
Building Android AOSP kernel and adding custom kernel modules!
How to use kexec for fast reboot/crashdump.
Published:
How to use kexec for fast reboot/crashdump?
x86 4-level and 5-level pagetable on Linux
Published:
The structures of different page tables on Linux.
Gentoo system/kernel update procedure
Published:
Due to the forgetfulness of myself, I write this article to record the procedure of updating my Gentoo system (kernel).
搭建自己的 CPU / 组合逻辑
Published:
摸鱼时倒腾 verilog 的笔记。
搭建自己的 CPU / Chisel 介绍
Published:
摸鱼时倒腾 verilog 的笔记。
x86 Page Fault 处理
Published:
x86 中异常处理源代码定义复杂,此日志用于记录源代码分析流程,基于内核版本 5.19.0
。
Pointers in BPF program
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 分析
Published:
分析了一堆 BPF 中出现的 CVE 们。
f0rizen’s Hash checker 0x01
Published:
A solution for a crackme.
Activate CoreSight on DragonBoard 410c
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
Published:
Linux Kernel Development 读书笔记的第二部分,不知道何时有第三部分:)
LKD 读书笔记 Part 1
Published:
这是 LKD 的读书笔记,希望能对自己以后在 Linux 下开发内核程序有所帮助。
Hoare 逻辑
Published:
Hoare 逻辑是一种证明程序性质的有效方法,它包含了两种为程序撰写规范的想法。
逻辑基础小结
Published:
从第一次了解到 Software Foundation 开始,已经过去了好几个年头,而我终于把它的第一卷 Logic Foundation 读完了。
常见 More Basic Tactics
Published:
Coq 中常用的策略。
Coffer 引导 Linux 与 RISC-V 定时器的坑
Published:
最近尝试用 Coffer 为哪吒 D1 引导 RISC-V Linux 遇到了下面一些问题,记录一下。
RISC-V PMP 测试与抽象
Published:
物理内存保护(Physical Memory Protection)是 RISC-V 安全性设计的一个重要组成部分。其分为三种保护模式,NA4、NAPOT、TOR,其中 NA4 是 NAPOT 的一种特殊形式。
Coffer 移植哪吒 D1 开发板小记
Published:
近日为哪吒 D1 移植 RISC-V 可信执行环境 Coffer,一些值得注意的点,写了一个小记。
RISC-V 裸金属环境下的 Backtrace 与 Debug 辅助工具
Published:
本文主要介绍如何在 RISC-V 与 Rust 开发环境下为裸金属目标 (Baremetal) 提供堆栈追踪能力。
RISC-V 工具链 & QEMU 虚拟机
Published:
本文主要关注 RISC-V 工具链的搭建以及相应的 QEMU Linux 虚拟机的配置启动上。
一道有趣的面试题,广告推送问题
Published:
如何确保输出的一对广告满足展示比例的同时不会展示出重复的广告。
portfolio
Portfolio item number 1
Short description of portfolio item number 1
Portfolio item number 2
Short description of portfolio item number 2
publications
Paper Title Number 1
Published in Journal 1, 2009
This paper is about the number 1. The number 2 is left for future work.
Recommended citation: Your Name, You. (2009). "Paper Title Number 1." Journal 1. 1(1).
Download Paper | Download Slides
Paper Title Number 2
Published in Journal 1, 2010
This paper is about the number 2. The number 3 is left for future work.
Recommended citation: Your Name, You. (2010). "Paper Title Number 2." Journal 1. 1(2).
Download Paper | Download Slides
Paper Title Number 3
Published in Journal 1, 2015
This paper is about the number 3. The number 4 is left for future work.
Recommended citation: Your Name, You. (2015). "Paper Title Number 3." Journal 1. 1(3).
Download Paper | Download Slides
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
Talk 1 on Relevant Topic in Your Field
Published:
This is a description of your talk, which is a markdown file that can be all markdown-ified like any other post. Yay markdown!
Conference Proceeding talk 3 on Relevant Topic in Your Field
Published:
This is a description of your conference proceedings talk, note the different field in type. You can put anything in this field.
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.