Print kernel mug.

2024-12-19 21:02:01 +03:00 · 2014-09-12 16:43:10 -07:00 · 2014-09-12 16:43:10 -07:00 · e91f66d7fb
commit e91f66d7fb
parent e1559ec244
1 changed files with 2 additions and 0 deletions
--- 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;