I've always preferred the name Workbench to AmigaOS. There really wasn't a proper name for the whole system, it was sorta Kickstart+AmigaDOS+Workbench.
I have to say that AmigaOS doesnt trip of the tongue like AmigaDOS, but that doesnt describe the whole thing, but neither does Workbench.
I guess 'Amiga' will have to do ! (which also covers the HW, btw...)
