Ja. Gab es garantiert auch auf 5.25", aber ich fand damals in unserem Disketten-Böxlein eine 3.5".
Unser IBM PS/2, hatte ja schon 3.5", eine 27 MB HDD (30 stand natülrich drauf), einen 286er mit um die 30 MHz, extrem aufgerüstete 8 MB
RAM, XGA und einen Nadeldrucker.
Von den großen Schlabberdingern hatte wir dann später (1998) in der Berufschule noch das DOS gestartet.
Installiert war aber zu meiner Zeit ein Windows 3.1 (10+1 Disketten), was ich durch Löschen von "unnötigen" Dateien auf knapp 11 MB HDD drücken konnte, um Platz für Spiele zu bekommen