Added comment on CNode address property.

diff --git a/capabilities/caps.hl b/capabilities/caps.hl
index 85efce3..2522fc2 100644 (file)
--- a/capabilities/caps.hl
+++ b/capabilities/caps.hl
@@ -81,6 +81,7 @@ cap CNode from RAM {
       expressions.
     **/
 
+    /* Shouldn't this be mem_to_phys(cnode)? (causes breakage) -MN */
     address { cnode };
     size_bits { bits + cte_size };