Deprecated API

This chapter gathers all the APIs that have had to become deprecated during the development process of the platform together with migration advisories.

• a_loop_{add,mod,del}_fd
• a_timer_create