HALFRED  0.4.0
Linux port

Currently, the Linux port supports the following HALFRED modules:

CORE module
The critical sections are realized on a common mutex. The following functions have empty body:

DELAY module
The DELAY_MS and DELAY_US are implemented as a call to usleep function.
The DELAY_NS function has empty body.

GPIO module
The port supports virtual pin handling.

IODevice interface
The following IODevices are supported:

IOSerial interface
Partially functional.

TIM module
Only system timer is supported (HAL_TIM_SYSTICK)

OS module
Fully functional.