Windows port

Currently, the Windows port supports the following HALFRED modules:

CORE module
The following functions have empty body:

• CORE_EnableInterrupts
• CORE_DisableInterrupts
• CORE_GetUIDSize
• CORE_GetUID

DELAY module
The DELAY_MS is implemented as a call to Sleep function.
The following functions have empty body:

• DELAY_US
• DELAY_NS

GPIO module
The port supports virtual pin handling.

IODevice interface
The following IODevices are supported:

• standard input/output
• berkeley sockets

IOSerial interface
Fully functional.

TIM module
Only system timer is supported (HAL_TIM_SYSTICK)

OS module
Fully functional.