fixed some paging bugs, added fault handlers and new programs

1 files changed, 14 insertions, 0 deletions

diff --git a/src/user/knob/format.c b/src/user/knob/format.c
index 087f6fd..645fb73 100644
--- a/src/user/knob/format.c
+++ b/src/user/knob/format.c
@@ -28,4 +28,18 @@ void itosz(uint32_t i, char *out) {
     }
   }
   *out = '\0';
+}
+
+const char *const hex_digits = "0123456789abcdef";
+
+void itosz_h8(uint8_t i, char *out) {
+  out[0] = hex_digits[i >> 4];
+  out[1] = hex_digits[i & 0xf];
+  out[2] = '\0';
+}
+
+void itosz_h32(uint32_t i, char *out) {
+  for (uint8_t digit = 0; digit < 8; ++digit)
+    out[digit] = hex_digits[(i >> (28 - digit * 4)) & 0xf];
+  out[8] = '\0';
 }
\ No newline at end of file