AgentSkillsCN

os-reference-search

搜索操作系统相关参考资料——包括架构规范（ARM、RISC-V）、经典书籍（OSTEP、OSDI3），以及前沿论文。在实现操作系统功能（如调度器、IPC、虚拟机管理器、驱动程序）、查阅寄存器布局、查找算法细节，或核对注释中的章节与段落引用时，此功能将为您提供强大助力。

SKILL.md
--- frontmatter
name: os-reference-search
description: Search OS reference materials — architecture specs (ARM, RISC-V), books (OSTEP, OSDI3), and papers. Use when implementing OS features (scheduler, IPC, VMM, drivers), looking up register layouts, finding algorithm details, or verifying chapter/section references in comments.
allowed-tools: AskUserQuestion, Bash, Read

OS Reference Search Skill

Search architecture specs and OS books using sova at ../sova/ (relative to bullfinch root).

When to Use

  • •Implementing features: Look up scheduler algorithms in OSTEP, IPC in OSDI3
  • •Hardware programming: Find register layouts, bit fields, sequences in ARM/RISC-V manuals
  • •Design decisions: See how MINIX implements PM, FS, drivers
  • •Verifying references: Check chapter/section numbers before adding to comments

Search

bash
cd ../sova

# Semantic search
uv run sova.py -s "how to handle page faults"
uv run sova.py -s "interrupt controller" -n 10

# Text search in extracted markdown
rg -i "TLB" *.md

Returns file.md:start-end with preview. Use Read tool for full context (add ~50 lines buffer for surrounding context).

Available Documents

  • •riscv-plic — RISC-V PLIC Specification
  • •riscv-sbi — RISC-V SBI Specification
  • •riscv-privileged — RISC-V Privileged Specification
  • •riscv-unprivileged — RISC-V Unprivileged Specification
  • •gic_architecture_specification — ARM GIC Specification
  • •operating_systems_three_easy_pieces — Operating Systems: Three Easy Pieces (OSTEP book)
  • •operating_systems_design_and_implementation — Operating Systems: Design & Implementation (MINIX book)
  • •DDI0487_profile_architecture_reference_manual — ARM Architecture Reference Manual

Setup

If ../sova/refs.db is missing:

bash
cd ../sova
uv run sova.py --list              # Check status
uv run sova.py --skip-topics       # Index (faster, no topics)
uv run sova.py                     # Index with topics

Reference Style

When citing in code comments:

zig
// See ARM Architecture Reference Manual, D1.4 (Exceptions).
// See RISC-V Privileged Specification, 4.1.4 (Supervisor Scratch Register).
// See OSTEP Chapter 6 (Limited Direct Execution).
// See OSDI3 Section 2.8 (The Clock Task).