making use of show_operating_system depending on VMB
Authored by: ruckert 2020-04-29
Parent: [r678]
Child: [r680]