The libhal part of the SDK