Nice details! Do you have a contact in case someone wants to pick that up as a side project?
Most (if not all) the needed information will be available in the documents under this directory:
https://bitsavers.org/pdf/digitalResearch/flexos/
There are also copies of the OS available here: https://bitsavers.org/bits/DigitalResearch/FlexOS/