update VERSION file to 2.0.0

x86: Add missing case for PDPT objects in cap_get_archCapSizeBits
2015-11-30 08:27:37 +11:00 · 2015-11-27 14:39:19 +11:00
2 changed files with 4 additions and 0 deletions
--- a/1
+++ b/1
@@ -0,0 +1 @@
+2.0.0
--- a/include/arch/x86/arch/object/structures.h
+++ b/include/arch/x86/arch/object/structures.h
@@ -210,6 +210,9 @@ cap_get_archCapSizeBits(cap_t cap)
    case cap_page_directory_cap:
        return PD_SIZE_BITS;

+    case cap_pdpt_cap:
+        return PDPT_SIZE_BITS;
+
    case cap_io_port_cap:
        return 0;
 #ifdef CONFIG_IOMMU
Author	SHA1	Message	Date
Anna Lyons	2a4ee9ba91	update VERSION file to 2.0.0	2015-11-30 08:27:37 +11:00
Adrian Danis	6ef0b35313	x86: Add missing case for PDPT objects in cap_get_archCapSizeBits	2015-11-27 14:39:19 +11:00