QMK は元々 Hasu 氏の HHKB Alternative Controller 用ファームウェアである TMK の派生なので、QMK のレポジトリには tmk_core とかのディレクトリが残ってるし、ここの配下に丁寧にも TMK は ChibiOS の上で走るやつですよ、という説明がある
https://github.com/qmk/qmk_firmware/blob/master/tmk_core/protocol/chibios/README.md
GitHubqmk_firmware/tmk_core/protocol/chibios/README.md at master · qmk/qmk_firmwareOpen-source keyboard firmware for Atmel AVR and Arm USB families - qmk/qmk_firmware
lib/ 配下に ChibiOS がインポートされている
https://github.com/qmk/qmk_firmware/tree/master/lib
（ただし submodule として、実体は github.com/qmk/ChibiOS として QMK が fork している
GitHubqmk_firmware/lib at master · qmk/qmk_firmwareOpen-source keyboard firmware for Atmel AVR and Arm USB families - qmk/qmk_firmware
