Added comment on CNode address property.
authorMark Nevill <nevillm@ethz.ch>
Fri, 20 Jan 2012 15:14:10 +0000 (16:14 +0100)
committerMark Nevill <nevillm@ethz.ch>
Fri, 20 Jan 2012 15:14:10 +0000 (16:14 +0100)
capabilities/caps.hl

index 85efce3..2522fc2 100644 (file)
@@ -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 };