What were you trying to do that didn't work?

No SELinux label for /dev/sgx* devices.

Please provide the package NVR for which bug is seen:

selinux-policy-38.1.35-2.el9_4.2.noarch
selinux-policy-targeted-38.1.35-2.el9_4.2.noarch

How reproducible:

Always.

Steps to reproduce

1. Install RHEL9.4 on a system whose CPU with sgx support.
2. Run the command `find /dev -context :device_t: ( -type c -o -type b ) -printf "%p %Z\n"` as root

Expected results

All devices should be properly labeled.

Actual results

Get the following result:
/dev/sgx_vepc system_u:object_r:device_t:s0
/dev/sgx_provision system_u:object_r:device_t:s0