#include "board.h"

void HardwareIdInit(void)
{
    GpioInit(PE11_AF0, GPIO_DIG_IN_NONEUP_NONEDOWN);
    GpioInit(PE12_AF0, GPIO_DIG_IN_NONEUP_NONEDOWN);
    GpioInit(PE13_AF0, GPIO_DIG_IN_NONEUP_NONEDOWN);
    GpioInit(PE14_AF0, GPIO_DIG_IN_NONEUP_NONEDOWN);
}

uint16_t GetHardwareId(void)
{    
    uint16_t id = GpioInPins(GpioPortE, GpioBitMsk11);
    id |= GpioInPins(GpioPortE, GpioBitMsk12);
    id |= GpioInPins(GpioPortE, GpioBitMsk13);
    id |= GpioInPins(GpioPortE, GpioBitMsk14);

    return id;
}