rootserver: Adjust to handle nexus platform

Change-Id: Ia101f74bde73cf31ed71f19b3c1862c988f9723b

cantrip-os-rootserver/Cargo.toml

diff --git a/cantrip-os-rootserver/Cargo.toml b/cantrip-os-rootserver/Cargo.toml
index 35ab864..0502813 100644
--- a/cantrip-os-rootserver/Cargo.toml
+++ b/cantrip-os-rootserver/Cargo.toml
@@ -26,6 +26,7 @@
 default = ["LOG_INFO"]
 CONFIG_PLAT_BCM2837 = []
 CONFIG_PLAT_SHODAN = []
+CONFIG_PLAT_NEXUS = []
 # Used by sel4-config to extract kernel config
 CONFIG_PRINTING = []
 CONFIG_DEBUG_BUILD = []

cantrip-os-rootserver/src/lib.rs

diff --git a/cantrip-os-rootserver/src/lib.rs b/cantrip-os-rootserver/src/lib.rs
index c2ce159..92f24ee 100644
--- a/cantrip-os-rootserver/src/lib.rs
+++ b/cantrip-os-rootserver/src/lib.rs
@@ -96,7 +96,7 @@
 // c.f. KernelRootCNodeSizeBits & KernelMaxNumBootinfoUntypedCaps in
 // kernel/config.cmake (usually set in easy-settings.cmake).
 cfg_if! {
-    if #[cfg(feature = "CONFIG_PLAT_SHODAN")] {
+    if #[cfg(any(feature = "CONFIG_PLAT_SHODAN", feature = "CONFIG_PLAT_NEXUS"))] {
         #[cfg(not(feature = "CONFIG_DEBUG_BUILD"))]
         const CONFIG_CAPDL_LOADER_MAX_OBJECTS: usize = 1500;