From 2e91b9c414232bf77cacb72c9000c9a69d80ff0b Mon Sep 17 00:00:00 2001
From: Emil Renner Berthing <emil.renner.berthing@canonical.com>
Date: Wed, 27 Jul 2022 10:54:41 +0200
Subject: [PATCH] UBUNTU: [Config] Use mark<ENFORCED> for CONFIG_DEVTMPFS

The CONFIG_DEVTMPFS and CONFIG_DEVTMPS_MOUNT options have note<ENFORCED>
tags, which should most likely have been mark<ENFORCED>.

Signed-off-by: Emil Renner Berthing <emil.renner.berthing@canonical.com>
Signed-off-by: Andrea Righi <andrea.righi@canonical.com>
---
 debian.master/config/annotations | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/debian.master/config/annotations b/debian.master/config/annotations
index 5d791d866c75..1af376b866e1 100644
--- a/debian.master/config/annotations
+++ b/debian.master/config/annotations
@@ -1989,8 +1989,8 @@ CONFIG_DEBUG_TEST_DRIVER_REMOVE                 policy<{'amd64': 'n', 'arm64': '
 CONFIG_TEST_ASYNC_DRIVER_PROBE                  policy<{'amd64': 'n', 'arm64': 'n', 'armhf': 'n', 'ppc64el': 'n', 'riscv64': 'n', 's390x': 'n'}>
 CONFIG_DMA_FENCE_TRACE                          policy<{'amd64': 'n', 'arm64': 'n', 'armhf': 'n', 'ppc64el': 'n', 'riscv64': 'n', 's390x': 'n'}>
 #
-CONFIG_DEVTMPFS                                 note<ENFORCED> note<upstart requirement>
-CONFIG_DEVTMPFS_MOUNT                           note<ENFORCED> note<upstart requirement>
+CONFIG_DEVTMPFS                                 mark<ENFORCED> note<upstart requirement>
+CONFIG_DEVTMPFS_MOUNT                           mark<ENFORCED> note<upstart requirement>
 
 # Menu: Device Drivers >> Generic Driver Options >> Firmware loader