Bonjour,
Même réponse que SesechXP et fdufnews, ce sont des librairies AVR-GCC de base inclut dans la avr-libc 
Les détails de chaque fichiers :
http://www.nongnu.org/avr-libc/user-manual/group__avr__stdio.html
http://www.nongnu.org/avr-libc/user-manual/group__avr__interrupts.html
http://www.nongnu.org/avr-libc/user-manual/group__avr__io.html
http://www.nongnu.org/avr-libc/user-manual/group__avr__sleep.html