commit 2c81e0aae57921673b519cdcd1ff36ece56bd994
author Sam Leffler <sleffler@google.com> Thu Oct 05 14:22:44 2023 -0700
committer Sam Leffler <sleffler@google.com> Thu Oct 05 14:22:44 2023 -0700
tree 2faee3c06dab45f9cdfc222cd9049c26dc52a177
parent c56a5a768b148f1ee9a3cd109eb3208b1905b9bd

cantrip-os-rootserver: fill from sec on nexus platform

Change-Id: I3ee12b84dad2866028f95bc818a1172d1c73f9e4

cantrip-os-rootserver/Cargo.toml

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