From ddf340cccd2ab53433428cda3f88d1d18a8ac3bc Mon Sep 17 00:00:00 2001
From: calamari <planet-casio@kidsquid.com>
Date: Sun, 25 Sep 2022 10:37:41 -0700
Subject: [PATCH] Support gint_osmenu() on fx-9860G Slim

---
 src/kernel/osmenu.c | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/src/kernel/osmenu.c b/src/kernel/osmenu.c
index 3f6a608..d0ebb5c 100644
--- a/src/kernel/osmenu.c
+++ b/src/kernel/osmenu.c
@@ -1,5 +1,6 @@
 #include <gint/gint.h>
 #include <gint/display.h>
+#include <gint/hardware.h>
 
 #include <string.h>
 
@@ -17,7 +18,10 @@ static int __osmenu_id;
 
 static void __osmenu_handler(void)
 {
-	__PutKeyCode(0x04, 0x09, 0);
+	if (isSlim())
+		__PutKeyCode(0x07, 0x0A, 0);
+	else
+		__PutKeyCode(0x04, 0x09, 0);
 
 	__Timer_Stop(__osmenu_id);
 	__Timer_Deinstall(__osmenu_id);