exshonda

TOPPERS系RTOS（ASP/ASP3/FMP3/HRP3 等 ITRON系）の不具合診断・動作検証のための切り分けskill（実装非依存）。ハードフォルト／ハング／タスクがディスパッチされない／優先度逆転／スタックオーバーフロー／サービスコールが想定外の `E_*` を返す、といった症状を原因へ辿るとき、カーネルのトレース/ログ機能で実行を観測するとき、GDBのOS Awareness（タスク一覧・状態）を使うとき、機械判定（TAP等）のテスト失敗を切り分けるとき、TTSP3（TOPPERSテストスイート）で適合性を確認するとき、FMP系（マルチプロセッサ/SMP）でPE間・遅延ディスパッチ枝やサブ優先度・割込みアフィニティのテスト設計やカバレッジ差を考えるとき、SMPの間欠ハング／タイミング依存レースを決定的に再現したいとき、ホストOS上で擬似実行する移植（POSIX等・タスク＝ホストスレッド）でディスパッチ窓のレース・per-PE状態の汚染・シグナル乗っ取り・lost-wakeup を切り分けるとき、適合性テストの分岐(C1)カバレッジを考えるとき・gcov が効かない手書きアセンブリ（`.S`：起動/コンテキスト切替/割込み・例外入口）の命令/分岐網羅を実行トレースで測るとき・タスクから踏めない実行時コンテキスト（アイドル＝実行中タスク無し等）の防御/復帰経路へ正規フック点を流用してカーネル無改変で到達させたいとき、実行時間分布(histogram)やサイクルカウンタでコンテキストスイッチ/サービスコールの所要時間を計測するとき・エミュレータ(QEMU等)でサイクルカウンタが0/一定になる現象を切り分けるとき、`E_CTX`/`E_PAR`/`E_ID`/`E_OBJ`/`E_RLWAI`/`E_QOVR` 等がなぜ出るかを調べるときに使う。ユーザが「ハードフォルト」「動かない」「ハングした」「間欠ハング」「タスクが動かない」「優先度逆転」「レースを再現」「POSIXシミュ」「ホストシミュレーション」「なぜこのエラー」「OS Awareness」「TTSP3」「テストが落ちる」「カバレッジ」「分岐網羅」「アセンブリのカバレッジ」「到達不能な経路」「アイドル中フック」「性能計測」「実行時間分布」「サイクルカウンタ」「QEMUでカウンタが0」、また TrustZone-M / dual-OS（Secure

TOPPERS系カーネル（ASP/ASP3/FMP3/HRP3 等 ITRON系RTOS）の「カーネル・アーキ・ターゲット側」を扱う作業の共通規約。上流TOPPERSを追従する派生カーネルを保守するとき、`arch/`・`target/`・`syssvc/` のアーキ/ボード依存部を実装・編集するとき、新ターゲットへ移植するとき、上流の新バージョンとマージするとき、静的API構造（`kernel_api.def`）やコンフィギュレータ（cfg）を扱うとき、カーネルをビルド・テストして検証するときの「やってよいこと/いけないこと」と作業順序を示す。ユーザが「TOPPERS」「カーネルを直す」「移植」「上流マージ」「ターゲット依存部」「アーキ依存部」「cfg」「静的生成」と言ったときに発動。**アプリ（タスク・セマフォ等）のCコードや`.cfg`記述を書くときは別skill `toppers-asp`。実装・トレース・テストの具体コマンドはリポジトリ固有（各リポジトリの `AGENTS.md`/`docs` や専用skill）に従う。本skillは実装非依存の共通規約。**

TOPPERS/ASPカーネル向けのアプリケーションプログラム（タスク・割込みハンドラ・周期ハンドラ・セマフォ・イベントフラグ・データキュー・ミューテックス・固定長メモリプール等）の作成・編集・レビュー時に必ず使うこと。`.cfg`（システムコンフィギュレーションファイル）を扱うとき，`CRE_TSK`/`CRE_SEM`/`CRE_FLG`/`CRE_DTQ`/`CRE_CYC`/`CRE_ALM`/`ATT_ISR`/`DEF_INH`/`ATT_INI` などの静的APIを書くとき，`act_tsk`/`wai_sem`/`set_flg`/`snd_dtq`/`loc_mtx`/`dly_tsk`/`slp_tsk` などのサービスコールを使うとき，`kernel.h`/`t_syslog.h`/`t_stdlib.h` をインクルードするとき，`syslog(LOG_NOTICE, ...)` や `SVC_PERROR()` を使うとき，ITRON仕様準拠のRTOSコードを書くときも対象。ユーザが「TOPPERS」「ASP」「ITRON」「RTOS」「リアルタイムOS」「組込み」「STM32 + ASP」「タスクを作って」「割込みを登録して」「周期実行したい」と言ったときに発動すること。FreeRTOSやZephyrからの移植，μITRON系コードのレビューもこのskillの対象。

asp3_mcuxsdk リポジトリでの日常操作（ビルド／書込み／テスト／性能計測／デバッグ）を、 対応2ボード（EVK-MIMXRT685・FRDM-MCXN947）それぞれの正しいプリセット名・LinkServer デバイス名・プロジェクトパス・ASP3ターゲット名で叩くための早見表。 「sample1 をビルドして書き込みたい」「test_porting / testexec を回したい」「どのプリセット・ どの LinkServer デバイス名」「2ボードのどちらの手順か」「DWT で性能計測したい」「デバッガを J-Link に切替えたい」というとき使う（build / flash / LinkServer / testexec / preset / perf / DWT）。 新規ボードの追加や実機が動かない root cause 解析は porting-asp3-to-nxp、禁則・全体像は CLAUDE.md / asp3_core AGENTS.md、ホスト構築・ツール詳細は docs/ を参照（そちらへ委譲する）。

TOPPERS/ASP3 を NXP i.MX RT6xx/RT5xx（MCUXpresso SDK + arm-none-eabi-gcc）の新しいボードに移植する手順と、SDK統合特有の落とし穴（SDK startup でのSecureブートとEXC_RETURN・ASP3ベクタテーブル配置・SDK既定クロックとHRT精度・west非使用のsubmodule直参照・LinkServer/J-Link 操作）をまとめたガイド。新規ボード対応、実機ブリングアップのデバッグ、ビルド・書込み・検証の作業で参照する。

TOPPERS/ASP3 を STM32（NUCLEO-H5系・STM32CubeMX + HAL + arm-none-eabi-gcc）の新しいボードに移植する手順と、CubeMX 生成環境特有の落とし穴（ベクタテーブル整列・TrustZone・リンカGC等）をまとめたガイド。新規 NUCLEO ボード対応、実機ブリングアップのデバッグ、ビルド・書込み・検証の作業で参照する。

TOPPERS/ASP3 を Renesas RA シリーズの新しいボード（EK-RA*）に移植する手順と、FSP + RASC + LLVM ツールチェーン環境特有の落とし穴をまとめたガイド。新規 RA ボード対応、FSP バージョン更新、ビルド警告ゼロ化、コマンドラインビルドの整備などの作業で参照する。

asp3_core リポジトリ固有の運用（ビルド・QEMU/実機実行・TAPテスト・構造化ログ(slog)解析・TTSP3適合性テスト・上流マージ台帳）の具体コマンドとツール。CMakeプリセットでビルドするとき、QEMU(mps2_an505/mps2_an386/mps3_an547/zcu102/polarfire 等)で動かすとき、`--tap`/`--slog` を使うとき、`scripts/parse_slog.py`/`check_events.py` でトレースを解析するとき、`test/ttsp/run_ttsp.py` で TTSP3 を回すとき、`DIVERGENCE_MAP.md`/`UPSTREAM_PRISTINE.txt`/`docs/dev/cfg-spec-map.md` を扱うとき、SAFEG(`ENABLE_SAFEG_M`)ビルドを確認するとき、ARM-M実機で性能評価（DWT CYCCNT・`USE_ARM_DWT_PMCNT` で ns 精度の histogram／`PERF_DWT.md`）を行うときに使う。実機(SWD/JTAG)でロード実行・テストするとき＝OpenOCD(rp2350.cfg/rp2350-riscv.cfg)・`--target run`/`swd-run`/`osdebug`・移植検証テスト(`test/porting` の `# 6/6 passed`)・機能テスト全件(`scripts/ci/run_board_pico2.sh` で testexec)・pico2_arm/pico2_riscv/stm32mp257f_dk 実機・`gh run watch` でのCI確認 にも使う。**規約の正本は `AGENTS.md`。TOPPERS共通の概念は別skill `toppers-kernel-dev`/`toppers-kernel-debug`/`toppers-asp`。本skillはasp3_core固有の具体手順だけを補う。**

SafeG-M リポジトリ固有の運用（ARMv8-M TrustZone Dual-OS: Secure=ASP3(asp3_core) / NS=FreeRTOS・ベアメタル）。asp3_core ベース（案1）で Secure+NS 遷移テスト(test/) を実機で回すとき＝test_safeg の CMake ビルド、NS の `TST_ENABLE_A3/_C/_D1`、2イメージ書込み、`[TST]` 取得・合否判定。実機 i.MX RT685 / RP2350(Pico2) で A〜D1 を取るとき、QEMU mps2-an505 の INVEP 限界・RP2350 の SAFEG=1 SWD-lock・**[TST]ワンショット＝capture先行＋デバッガ非接続で自走**・FPU退避(BTASK)回帰 に当たったときに使う。**規約・ビルド・実機手順の正本は repo の `AGENTS.md`（→`doc/HANDOFF.md`）。asp3_core 側の CMake/QEMU/OpenOCD は別skill `asp3-core-ops`、TOPPERS共通概念は `toppers-kernel-dev`/`toppers-kernel-debug`/`toppers-asp`。本skillは発動トリガと役割分担を示し、具体手順は AGENTS.md へ委譲する。**

本リポジトリ（asp3_pico_sdk＝TOPPERS/ASP3 を Raspberry Pi Pico SDK と協調動作させる SDK統合リポ） での「叩き方」固有skill。ASP3 を PICO2（RP2350）の ARM-S(Cortex-M33)／RISC-V(Hazard3) 向けに ビルド・openocd 書き込み・シリアル/GDB 観測するとき、VS Code Pico 拡張でターゲット(ARM↔RISC-V)を 切り替えるとき、pico-sdk のバージョン(2.1.1/2.2.0)対応やツールチェーン(拡張同梱/システム)で 詰まったとき、RISC-V の割込み(RX)が動かないとき、CMake 統合(asp3_pico_sdk.cmake・ASP3_TARGET・ asp3_set_pico_sdk_options)を触るときに使う。ユーザが「pico-sdk」「PICO2」「RP2350」「Hazard3」 「rp2350-arm-s」「rp2350-riscv」「pico に書き込み」「openocd」「シリアルが出ない」「ターゲット切替」 「SDK 2.2.0」「ASP3 を pico で動かす」と言ったときに発動。 境界：アプリ(タスク/セマフォ等)の C/.cfg の書き方は toppers-asp、カーネル/移植の共通規約は toppers-kernel-dev、症状→原因の診断概念は toppers-kernel-debug。本skillは「このリポでの具体コマンドと固有の落とし穴」に徹し、概念はそれらへ委譲する。