1 files changed, 4 insertions, 2 deletions

diff --git a/etc/min.profile b/etc/min.profile
index eb1163175..eec81677d 100644
--- a/etc/min.profile
+++ b/etc/min.profile
@@ -11,8 +11,12 @@ noblacklist ${HOME}/.config/Min
 noblacklist ${HOME}/.pki
 noblacklist ${HOME}/.local/share/pki
 
+# noexec ${HOME} breaks DRM binaries.
+ignore noexec ${HOME}
+
 include disable-common.inc
 include disable-devel.inc
+include disable-exec.inc
 include disable-interpreters.inc
 include disable-programs.inc
 
@@ -48,5 +52,3 @@ private-etc alternatives,ca-certificates,ssl,machine-id,dconf,selinux,passwd,gro
 private-tmp
 
 # memory-deny-write-execute
-noexec ${HOME}
-noexec /tmp