From e91f66d7fb504fdeedde2e59283737b89ae7b717 Mon Sep 17 00:00:00 2001
From: "C. Guy Yarvin" <cgyarvin@gmail.com>
Date: Fri, 12 Sep 2014 16:43:10 -0700
Subject: [PATCH] Print kernel mug.

---
 v/reck.c | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/v/reck.c b/v/reck.c
index 19b194282..8444150ee 100644
--- a/v/reck.c
+++ b/v/reck.c
@@ -341,6 +341,8 @@ u2_reck_cold(u2_reck* rec_u, c3_w kno_w)
     rec_u->ken = u2h(eng);
     rec_u->roc = u2t(eng);
 
+    printf("kernel mug is %x\n", u2_cr_mug(rec_u->ken));
+
     //  Execute from kernel to propitiate jet gods.
     {
       u2_noun fak;