From 4bf766daff9cd936a2cca26fc90d1cb2437d6819 Mon Sep 17 00:00:00 2001
From: Tony Garnock-Jones <tonygarnockjones@gmail.com>
Date: Thu, 12 Apr 2012 15:17:15 -0400
Subject: [PATCH] Document BootK data definition

---
 os2.rkt | 1 +
 1 file changed, 1 insertion(+)

diff --git a/os2.rkt b/os2.rkt
index 700e67a..8309c59 100644
--- a/os2.rkt
+++ b/os2.rkt
@@ -84,6 +84,7 @@
 ;; role in a conversation.
 (struct topic (role pattern virtual?) #:prefab)
 
+;; BootK = PID -> Transition
 ;; InterruptK = State -> Transition
 ;; TrapK<X> = X -> InterruptK