Architectural overview of HaL systems