mirage/mirage: PR #1269: No common path & impl. about the OS module - each target implements their own modules

@0f6ee90

Stages:

• 🟠 x86_64-debian-10-4.13
• ❌ arm64-debian-10-4.13 (4m47s)

History:

• 25/01/2022 11:04 ❌ @0f6ee90 (4m47s)
• 24/01/2022 20:27 ❌ @fea819d (12m04s)
• 24/01/2022 20:05 ❌ @1b19e9a (11m15s)
• 24/01/2022 19:50 ❌ @a396dad (12m44s)
• 24/01/2022 19:07 ❌ @931391e (9m49s)
• 24/01/2022 18:27 ❌ @8275152 (19m15s)
• 24/01/2022 18:18 ❌ @01fba47 (9m02s)
• 24/01/2022 17:52 ❌ @498d784 (16m59s)