Archive

keep hungry keep foolish
2020

NVDIMM and acpi

KSM

hugepage configuration

linux memory management summary

acpi summary

vhost-user summary

virtio-pci-device summary

rust语言-条件编译

2019

「SF-PLF」1 Equiv

Programming Language Foundations - Program Equivalence (程序的等价关系)

virtio-balloon分析

「SF-LC」1 Basics

Logical Foundations - Functional Programming in Coq