Official hal0 documentation — synced from the hal0 git repo. Team-edited; replies welcome for questions and corrections.