}

void Minimal_EEPROM_ProgramWord(uint32_t Address, uint32_t Data)

{

  // Wait for last operation to be completed 

  FLASH_Status status = FLASH_COMPLETE;

  status = Minimal_FLASH_WaitForLastOperation(FLASH_ER_PRG_TIMEOUT);

  if(status == FLASH_COMPLETE)

  {

    *(__IO uint32_t *)Address = Data;

    // Wait for last operation to be completed 

    status = Minimal_FLASH_WaitForLastOperation(FLASH_ER_PRG_TIMEOUT);

  }

  // Return the Write Status 

  return status;

}

void save_settings()

{

   Minimal_EEPROM_Unlock();

    // Try programming a word at an address divisible by 4

    Minimal_EEPROM_ProgramWord(EEPROM_BASE_ADDR + EEPROM_ADDR_BOOTTOBREW, boottobrew);

    Minimal_EEPROM_ProgramWord(EEPROM_BASE_ADDR + EEPROM_ADDR_WINDUP_GUARD, windup_guard);

    Minimal_EEPROM_ProgramWord(EEPROM_BASE_ADDR + EEPROM_ADDR_K_P, k_p);

    Minimal_EEPROM_ProgramWord(EEPROM_BASE_ADDR + EEPROM_ADDR_K_I, k_i);

    Minimal_EEPROM_ProgramWord(EEPROM_BASE_ADDR + EEPROM_ADDR_K_D, k_d);

    Minimal_EEPROM_Lock();

}

void save_setpoints()

{

    Minimal_EEPROM_Unlock();

    Minimal_EEPROM_ProgramWord(EEPROM_BASE_ADDR + EEPROM_ADDR_BREWTEMP, setpoint_brew);

    Minimal_EEPROM_ProgramWord(EEPROM_BASE_ADDR + EEPROM_ADDR_STEAMTEMP, setpoint_steam); 

    Minimal_EEPROM_Lock();

}

// TODO: Save/restore temperature setpoint settings

void restore_settings()

{

    Minimal_EEPROM_Unlock();

    while(Minimal_FLASH_GetStatus()==FLASH_BUSY);

    while(Minimal_FLASH_GetStatus()==FLASH_BUSY);

    while(Minimal_FLASH_GetStatus()==FLASH_BUSY);

    while(Minimal_FLASH_GetStatus()==FLASH_BUSY);

    while(Minimal_FLASH_GetStatus()==FLASH_BUSY);

    while(Minimal_FLASH_GetStatus()==FLASH_BUSY);

    while(Minimal_FLASH_GetStatus()==FLASH_BUSY);

    Minimal_EEPROM_Lock();

}

void user_input(uint16_t* to_modify)

{

    if(CHANGE_ELAPSED) {

        // TODO: Make function that takes reference to a var and increase/decreases it based on buttonpress

        if(!GPIO_ReadInputDataBit(SW_UP) ) {

            CHANGE_RESET;

            (*to_modify)++;

        }

        else if(!GPIO_ReadInputDataBit(SW_DOWN) && (*to_modify) > 0) {

            CHANGE_RESET;

            (*to_modify)--;

        }

    }

}

void machine()

{

    uint8_t last_state = state;

    uint8_t sw_btn = !GPIO_ReadInputDataBit(SW_BTN);

    uint8_t sw_up = !GPIO_ReadInputDataBit(SW_UP);

    uint8_t sw_down = !GPIO_ReadInputDataBit(SW_DOWN);

    uint8_t sw_left = !GPIO_ReadInputDataBit(SW_LEFT);

    uint8_t sw_right = !GPIO_ReadInputDataBit(SW_RIGHT);

    switch(state)

    {

        // Idle state

        case STATE_IDLE:

        {

            // Write text to OLED

            // [ therm :: idle ]

            ssd1306_DrawString("therm :: idle ", 0, 40);

            pid_enabled = 0;

            char tempstr[6];

            itoa_fp(temp, temp_frac, tempstr);

            ssd1306_DrawString("Temp: ", 3, 40);

            ssd1306_DrawString("    ", 3, 72);

            ssd1306_DrawString(tempstr, 3, 72);