Halos == HAL OS ? That didn't work out so well in 2001

No, it's actually Halos OS, which sounds like someone missed the pun during the meeting in which they named it.