udev: run consolesetup

2020-02-01 21:53:36 +01:00 · 2020-02-01 21:53:36 +01:00 · a573ef35af
parent 9ecc4103af
commit a573ef35af
2 changed files with 12 additions and 0 deletions
--- a/policy/modules/apps/loadkeys.te
+++ b/policy/modules/apps/loadkeys.te
@ -48,6 +48,12 @@ miscfiles_read_localization(loadkeys_t)
 userdom_use_user_ttys(loadkeys_t)
 userdom_list_user_home_content(loadkeys_t)

+ifdef(`distro_debian',`
+	optional_policy(`
+		consolesetup_read_conf(loadkeys_t)
+	')
+')
+
 optional_policy(`
 	keyboardd_read_pipes(loadkeys_t)
 ')
--- a/policy/modules/system/udev.te
+++ b/policy/modules/system/udev.te
@ -215,6 +215,12 @@ ifdef(`distro_debian',`
 		avahi_setattr_pid_dirs(udev_t)
 		avahi_filetrans_pid(udev_t, dir, "avahi-daemon")
 	')
+
+	optional_policy(`
+		consolesetup_exec_conf(udev_t)
+		consolesetup_manage_runtime(udev_t)
+		consolesetup_pid_filetrans_runtime(udev_t)
+	')
 ')

 ifdef(`distro_gentoo',`