BUG: sel4sys: size_bits() returning wrong value for seL4_NotificationObject.
* instead of returning seL4_NotificationBits it returned seL4_NotificationBits

Change-Id: I9a59e8ce921a033a52ba2ed193c6d267cbfa1419
(cherry picked from commit 609991e1a560f48b1d67dbd61cacec366036facc)

apps/system/components/cantrip-os-common/src/sel4-sys/arch/aarch64.rs

diff --git a/apps/system/components/cantrip-os-common/src/sel4-sys/arch/aarch64.rs b/apps/system/components/cantrip-os-common/src/sel4-sys/arch/aarch64.rs
index cdf2a6a..574092f 100644
--- a/apps/system/components/cantrip-os-common/src/sel4-sys/arch/aarch64.rs
+++ b/apps/system/components/cantrip-os-common/src/sel4-sys/arch/aarch64.rs
@@ -169,7 +169,7 @@
         match self {
             seL4_TCBObject => Some(seL4_TCBBits),
             seL4_EndpointObject => Some(seL4_EndpointBits),
-            seL4_NotificationObject => Some(seL4_EndpointBits),
+            seL4_NotificationObject => Some(seL4_NotificationBits),
             #[cfg(feature = "CONFIG_KERNEL_MCS")]
             seL4_ReplyObject => Some(seL4_ReplyBits),
             #[cfg(feature = "CONFIG_KERNEL_MCS")]

apps/system/components/cantrip-os-common/src/sel4-sys/arch/riscv32.rs

diff --git a/apps/system/components/cantrip-os-common/src/sel4-sys/arch/riscv32.rs b/apps/system/components/cantrip-os-common/src/sel4-sys/arch/riscv32.rs
index bcd0642..5d25efd 100644
--- a/apps/system/components/cantrip-os-common/src/sel4-sys/arch/riscv32.rs
+++ b/apps/system/components/cantrip-os-common/src/sel4-sys/arch/riscv32.rs
@@ -133,7 +133,7 @@
         match self {
             seL4_TCBObject => Some(seL4_TCBBits),
             seL4_EndpointObject => Some(seL4_EndpointBits),
-            seL4_NotificationObject => Some(seL4_EndpointBits),
+            seL4_NotificationObject => Some(seL4_NotificationBits),
             #[cfg(feature = "CONFIG_KERNEL_MCS")]
             seL4_ReplyObject => Some(seL4_ReplyBits),
             #[cfg(feature = "CONFIG_KERNEL_MCS")]

apps/system/components/cantrip-os-common/src/sel4-sys/arch/riscv64.rs

diff --git a/apps/system/components/cantrip-os-common/src/sel4-sys/arch/riscv64.rs b/apps/system/components/cantrip-os-common/src/sel4-sys/arch/riscv64.rs
index ada2f78..e80adab 100644
--- a/apps/system/components/cantrip-os-common/src/sel4-sys/arch/riscv64.rs
+++ b/apps/system/components/cantrip-os-common/src/sel4-sys/arch/riscv64.rs
@@ -140,7 +140,7 @@
         match self {
             seL4_TCBObject => Some(seL4_TCBBits),
             seL4_EndpointObject => Some(seL4_EndpointBits),
-            seL4_NotificationObject => Some(seL4_EndpointBits),
+            seL4_NotificationObject => Some(seL4_NotificationBits),
             #[cfg(feature = "CONFIG_KERNEL_MCS")]
             seL4_ReplyObject => Some(seL4_ReplyBits),
             #[cfg(feature = "CONFIG_KERNEL_MCS")]