Skip to main content
在 Manus 中运行任何 Skill
一键导入
LinxISA
GitHub 创作者资料

LinxISA

按仓库查看 2 个 GitHub 仓库中的 12 个已收集 skills。

已收集 skills
12
仓库
2
更新
2026-07-18
仓库浏览

仓库与代表性 skills

linx-compiler
软件开发工程师

Linx compiler/backend workflow for LLVM and compile gates. Use when implementing or debugging Linx codegen/MC behavior, enforcing call/ret lowering contracts, running compile coverage suites, or validating object/relocation correctness.

2026-07-18
linx-isa
软件开发工程师

Linx ISA architecture and specification workflow. Use when defining ISA contracts, editing manual semantics, reviewing privilege/CSR/memory rules, or translating ISA intent into compiler/emulator/RTL requirements and tests.

2026-07-18
linx-isa-manual
软件开发工程师

LinxISA v0.57 manual navigation and authoring skill. Use when reading, updating, or cross-referencing the ISA manual at docs/architecture/isa-manual/. Contains the complete golden register contract, canonical instruction groups, and build/test workflow.

2026-07-17
linx-qemu
软件开发工程师

Linx emulator development workflow for submodule `emulator/qemu`. Use when implementing or debugging decode/execute behavior, trap and interrupt handling, MMU and device interactions, or AVS runtime/system regressions where emulator behavior is the likely first divergence.

2026-07-17
linx-superproject
软件开发工程师

LinxISA superproject governance and cross-repo execution workflow. Use when managing submodule topology, dual-lane pin/external sync, AVS gate reproducibility, SHA manifest reporting, or workload matrix publication across llvm/qemu/linux/LinxCore/pyCircuit/glibc/musl.

2026-07-17
linx-linux
软件开发工程师

Linx Linux bring-up and runtime stabilization workflow. Use when debugging initramfs smoke/full boot failures, symbolizing trap loops, bisecting Linux+QEMU regressions, or validating kernel-side call/ret and block-target legality behavior.

2026-07-16
linx-lib
软件开发工程师

Linx libc bring-up workflow across glibc and musl. Use when building or debugging libc ports, enforcing static/shared runtime split policy, aligning ABI/relocation behavior with Linux and toolchain, or reporting staged gate outcomes (G1/M1-M3/R1-R2).

2026-07-15
linx-core
电气工程师

LinxCore (rtl/LinxCore) development workflow + block/BID/BROB/BISQ design decisions. Use for any LinxCore backend/bctrl work, especially block-structure (BSTART/BSTOP/EOB), BID allocation, and flush semantics.

2026-07-15
当前展示该仓库 Top 8 / 11 个已收集 skills。
已展示 2 / 2 个仓库
已展示全部仓库