From a402cae36d95a2141703df324b5de5b581868c5c Mon Sep 17 00:00:00 2001
From: Samuel Thibault <samuel.thibault@ens-lyon.org>
Date: Tue, 14 Jan 2025 22:40:54 +0100
Subject: [PATCH] mach: Add missing error messages

---
 mach/err_kern.sub | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/mach/err_kern.sub b/mach/err_kern.sub
index 42c38ebd594..df380fa414d 100644
--- a/mach/err_kern.sub
+++ b/mach/err_kern.sub
@@ -74,6 +74,11 @@ static char * err_codes_kern[] = {
 	"(os/kern) right exists",
 	"(os/kern) invalid host",
 	"(os/kern) memory present",
+	"(os/kern) write protection failure",
+	"(os/kern) Unknown error code: 25",
+	"(os/kern) object is terminated",
+	"(os/kern) operation timed out",
+	"(os/kern) operation was interrupted",
 };
 
 static char * err_codes_device[] = {
-- 
2.47.2