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