Documentation for bbxtron-mos