Hardware Platform Interface library and tools