wheatfox OS blog

illustration from haineko/nemesiap (link)

2025-01-13 【LLVM|更新于 2025.1.26】MLIR学习笔记
#LLVM #Compiler #MLIR #Software-hardware Codesign
2024-12-11 【LAB】南大OS LAB 2024 实验记录- wheatfox
#Operating Systems #Computer Architecture
2024-12-10 论文讲解：Securing A Multiprocessor KVM Hypervisor with Rust (SoCC '24)
#Formal Verification #Rust #linux #+SoCC '24 #KVM
2024-11-28 2024.11.28 Syswonder 组会报告 Linux hvc, Rust Code Formal Veriﬁcation
#Formal Verification #Rust #Syswonder #linux #hvc console
2024-11-28 2024.11.14 Syswonder 组会报告 Introduction to Xilinx BIF(Boot Image Format) and Bootgen
#Syswonder #Xilinx #Bootgen
2024-11-28 2024.11.7 Syswonder 组会报告 Petalinux build and boot, LoongArch hvisor virtio debug
#Syswonder #Petalinux #Xilinx #hvisor
2024-11-04 【LAB】南大ICS-PA2024 实验记录- wheatfox
#Operating Systems #ICS-PA #Computer Architecture #Vim Editor
2024-08-14 【笔记|更新于2024.8.25】FreeBSD on ARM 学习记录
#Operating systems #Unix #BSD #FreeBSD #Cross Compiling
2024-08-08 【研发记录】Raspi4b Talaria：面向小型无人机+树莓派4B的自然语言交流与IoT控制飞行终端软硬件设计
#Machine Learning #Raspberry Pi 4B #UAV
2024-08-04 【更新于2024.8.6】Rasynth：基于树莓派4B的数字模块化合成器设计（Rasplisp音频处理描述语言与树莓派GPIO拓展板制作）
#Raspberry Pi #PCB Desgin #Analog Circuits #Rust Programming Language #Lisp #Compiler Design
2024-07-31 【连载中|更新于2024.7.31】MIT 6.828/2018 JOS 实验记录 lab1
#MIT OS Labs #JOS #xv6
2024-07-28 【连载中|更新于2024.8.2】51单片机PCB设计与实践笔记
#Analog Electronics #PCB Design #Microcontroller