I can't find such files :
CircleOS File List
Here is a list of all files with brief descriptions:button.c Button initialization and management  
buzzer.c Buzzer dedicated functions with RTTTL format support  
circle_api.h General header for the STM32-circle projects  
draw.c Various utilities for drawings (characters, ..)  
lcd.c The LCD driver for the ST7637  
led.c LED management  
mems.c Mems Initialization and management  
menu.c General management for menu, dialog boxes ..  
menu_app.c General functions to handle the 'Application menu'  
menu_settings.c Management of a menu that allows to set up the STM32-primer  
pointer.c Various utilities for the pointer management for STM32-primer  
rtc.c RTC clock management and utilities  
Util.c Various utilities for STM32 CircleOS