หมายเหตุสำคัญ (ตรวจสอบเมื่อ 26 ก.ย. 2026): โค้ด C ในบทนี้เรียก API ของเฟิร์มแวร์ TESAIoT Bitstream ที่แจกเป็นไฟล์ HEX สำเร็จรูป — ซอร์สโค้ดของเฟิร์มแวร์ชุดนี้ยังไม่เปิดเผยต่อสาธารณะ ฟังก์ชันอย่าง led_controller_*, cm55_button_*, cm55_uart_send, sensor_sht40_*, cm55_i2c_manager_i2c_lock, bitstream_led_pwm_*, cm55_adc_* จึงยังไม่มี header ให้เปิดดูหรือ build เอง — อ่าน snippet เป็นแนวคิดและลำดับการเรียกใช้ ส่วน FreeRTOS และ Infineon PDL (xTaskCreate, vTaskDelay, Cy_GPIO_*) เป็น API สาธารณะตามปกติ