Technically (but only very technically as we basically never used them and they were obsolete at the time already) it would have been a version of Acorn MOS but realistically it was Windows 3.1.