They don't have a module called "HAL", if that's what you mean. They have a HAL, by virtual of splitting all the hardware access out of the kernel. But it doesn't appear to be as useful, given the number of platforms on which ROL's OS runs on. (ie: two, RiscPC-like and A9Home, verses the at least three of the CTL one, forgetting any boards Pace developed).