Sounds like Fuzix [1] - it fits in a 720kb diskette but it's for 8-bit processors.

[1] http://www.fuzix.org