File content as of revision 22:12c555cade79:

#include "mbed.h"
#include "Timers.h"
#include "Menu.h"
#include "Eeprom.h"
#include "main.h"
#include "app_config.h"

/*!
 * \brief Define IO for Unused Pin
 */
DigitalOut F_CS( D6 );      // MBED description of pin
DigitalOut SD_CS( D8 );     // MBED description of pin
DigitalIn userButton( USER_BUTTON );

int main    (void){
    F_CS = 1;           // LA:  HW Initialization InProgress 
    SD_CS = 1;          // LA:  HW Initialization InProgress 

    EepromInit( );      // LA:  Inizializza la EEProm

    // LA:  FactoryReset se "userButton" premuto all'avvio
    //
    if  (userButton == 0) {
        FactoryReset( );
    }

    MenuInit( );        // LA:  Inizializza il Display

    while   (1) {
        StabilusMenu ();
    }
}

void    FactoryReset    (void) {
    EepromFactoryReset( );
    HAL_NVIC_SystemReset( );
}