#include "sys.h"

OSPiHandle* osDriveRomInit(void) {
}