operating system supporting IA-32 PCs for fun and (no) profit