mirage/mirage: PR #1288: Add `docteur` device

@00faf0f

18/02/2022 10:20

Link to Github

Stages:

🟡 x86_64-debian-10-4.13
🟡 arm64-debian-10-4.13

History:

24/02/2022 11:21 ✔️ @e47c2f1 (16m25s)
24/02/2022 11:02 🟠 @76dec36 (17m37s)
24/02/2022 10:33 🟠 @6501348 (22m16s)
23/02/2022 23:06 ✔️ @6dcda5b (15m46s)
23/02/2022 16:45 ✔️ @95740f7 (15m45s)
18/02/2022 10:32 ✔️ @7a2b426 (17m21s)
18/02/2022 10:20 🟡 @00faf0f
08/02/2022 16:27 🟡 @cdaf663
08/02/2022 15:00 ✔️ @df761cc (10m37s)
08/02/2022 11:01 ✔️ @6ea4398 (10m27s)