Worked on the Zephyr HAL for Raspberry Pi Pico, delivering a documentation-focused enhancement to the AON Timer API. The update clarified the intended usage of the disable_alarm function, now documented as aon_timer_is_running, to prevent developer confusion and reduce support overhead. This change, made entirely in the API documentation without modifying C code, ensures that onboarding is smoother and future refactors are less risky. By focusing on API design and clear documentation within the zephyrproject-rtos/hal_rpi_pico repository, the work improved maintainability and positioned the codebase for stable evolution, emphasizing clarity and usability for developers integrating with the API.