Mcs support (#19)

* start add some of the mcs features

* add lot's of mcs todo codes and add the new pbf of aarch64

* add the no mcs case framework

* pass the rel4_complier

* put in all the symbols

* update the fastpath_reply_recv

* try to add the riscv pbf support

* fill in the real riscv pbf

Cargo.toml

@@ -7,3 +7,6 @@ edition = "2021"
 log = "0.4"
 sel4_common = { git = "https://github.com/rel4team/sel4_common.git", branch = "mi_dev" }
 riscv = { git = "https://github.com/rcore-os/riscv", features = ["inline-asm"] }
+
+[features]
+KERNEL_MCS = []

src/capability/mod.rs

@@ -105,7 +105,10 @@ impl cap_func for cap {
                 cap::cap_cnode_cap(self).get_capCNodeRadix() as usize + seL4_SlotBits
             }
             cap_tag::cap_page_table_cap => PT_SIZE_BITS,
+            #[cfg(feature = "KERNEL_MCS")]
             cap_tag::cap_reply_cap => seL4_ReplyBits,
+            #[cfg(not(feature = "KERNEL_MCS"))]
+            cap_tag::cap_reply_cap => 0,
             _ => 0,
         }
     }