-# configurable kernel - general switch to say we are building for an
-# embedded device
-#
-options CONFIG_EMBEDDED # <config_embedded>
-
-# only execute signed code. Hang this off config_embedded since there's
-# nothing more appropriate right now
-#
-options CONFIG_ENFORCE_SIGNED_CODE # <config_embedded>
-