From 1864a61b3eab5ddb7b637f96b53e084afa891523 Mon Sep 17 00:00:00 2001
From: OBattler <oubattler@gmail.com>
Date: Fri, 11 Feb 2022 00:23:57 +0100
Subject: [PATCH] Fixed PIC reset on the Xi8088.

---
 src/pic.c | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/pic.c b/src/pic.c
index d81d4e5a7..899029c14 100644
--- a/src/pic.c
+++ b/src/pic.c
@@ -273,6 +273,7 @@ void
 pic_reset()
 {
     int is_at = IS_AT(machine);
+    is_at = is_at || !strcmp(machine_get_internal_name(), "xi8088");
 
     memset(&pic, 0, sizeof(pic_t));
     memset(&pic2, 0, sizeof(pic_t));