AtheOS & Syllable: Operating Systems You've Probably Never Seen