Linux kernel (public)
Linux kernel for MediaTek AIoT
Trusted Firmware for A profile for MediaTek AIoT