policy_module(devices,1.0)

attribute device_node;
attribute memory_raw_read;
attribute memory_raw_write;

#
# device_t is the type of /dev.
#
type device_t;
files_file_type(device_t)
files_mountpoint(device_t)
fs_associate_tmpfs(device_t)

# Only directories and symlinks should be labeled device_t.
# If there are other files with this type, it is wrong.
# Relabelto is allowed for setfiles to function, in case
# a device node has no specific type yet, but is for some
# reason labeled with a specific type
#cjp: want this, but udev policy breaks this
#neverallow * device_t:{ file fifo_file sock_file chr_file blk_file } ~{ getattr setattr relabelfrom relabelto };

#
# Type for /dev/agpgart
#
type agp_device_t, device_node;
fs_associate(agp_device_t)
fs_associate_tmpfs(agp_device_t)

#
# Type for /dev/apm_bios
#
type apm_bios_t, device_node;
fs_associate(apm_bios_t)
fs_associate_tmpfs(apm_bios_t)

type cardmgr_dev_t, device_node;
fs_associate(cardmgr_dev_t)
fs_associate_tmpfs(cardmgr_dev_t)

#
# clock_device_t is the type of
# /dev/rtc.
#
type clock_device_t, device_node;
fs_associate(clock_device_t)
fs_associate_tmpfs(clock_device_t)

#
# cpu control devices /dev/cpu/0/*
#
type cpu_device_t, device_node;
fs_associate(cpu_device_t)
fs_associate_tmpfs(cpu_device_t)

type dri_device_t, device_node;
fs_associate(dri_device_t)
fs_associate_tmpfs(dri_device_t)

type event_device_t, device_node;
fs_associate(event_device_t)
fs_associate_tmpfs(event_device_t)

#
# Type for framebuffer /dev/fb/*
#
type framebuf_device_t, device_node;
fs_associate(framebuf_device_t)
fs_associate_tmpfs(framebuf_device_t)

#
# Type for /dev/mapper/control
#
type lvm_control_t, device_node;
fs_associate(lvm_control_t)
fs_associate_tmpfs(lvm_control_t)

#
# memory_device_t is the type of /dev/kmem,
# /dev/mem and /dev/port.
#
type memory_device_t, device_node;
fs_associate(memory_device_t)
fs_associate_tmpfs(memory_device_t)

neverallow ~memory_raw_read memory_device_t:{ chr_file blk_file } read;
neverallow ~memory_raw_write memory_device_t:{ chr_file blk_file } { append write };

type misc_device_t, device_node;
fs_associate(misc_device_t)
fs_associate_tmpfs(misc_device_t)

#
# A more general type for mouse devices.
#
type mouse_device_t, device_node;
fs_associate(mouse_device_t)
fs_associate_tmpfs(mouse_device_t)

#
# Type for /dev/cpu/mtrr and /proc/mtrr
#
type mtrr_device_t, device_node;
fs_associate(mtrr_device_t)
fs_associate_tmpfs(mtrr_device_t)
genfscon proc /mtrr context_template(system_u:object_r:mtrr_device_t,s0)

#
# null_device_t is the type of /dev/null.
#
type null_device_t, device_node;
fs_associate(null_device_t)
fs_associate_tmpfs(null_device_t)
sid devnull context_template(system_u:object_r:null_device_t,s0)

#
# Type for /dev/pmu 
#
type power_device_t, device_node;
fs_associate(power_device_t)
fs_associate_tmpfs(power_device_t)

type printer_device_t, device_node;
fs_associate(printer_device_t)
fs_associate_tmpfs(printer_device_t)

#
# random_device_t is the type of /dev/random
#
type random_device_t, device_node;
fs_associate(random_device_t)
fs_associate_tmpfs(random_device_t)

type scanner_device_t, device_node;
fs_associate(scanner_device_t)
fs_associate_tmpfs(scanner_device_t)

#
# Type for sound devices and mixers
#
type sound_device_t, device_node;
fs_associate(sound_device_t)
fs_associate_tmpfs(sound_device_t)

#
# sysfs_t is the type for the /sys pseudofs
#
type sysfs_t;
files_mountpoint(sysfs_t)
fs_make_fs(sysfs_t)
genfscon sysfs / context_template(system_u:object_r:sysfs_t,s0)

#
# urandom_device_t is the type of /dev/urandom
#
type urandom_device_t, device_node;
fs_associate(urandom_device_t)
fs_associate_tmpfs(urandom_device_t)

#
# usbfs_t is the type for the /proc/bus/usb pseudofs
#
type usbfs_t alias usbdevfs_t;
files_mountpoint(usbfs_t)
fs_make_noxattr_fs(usbfs_t)
genfscon usbfs / context_template(system_u:object_r:usbfs_t,s0)
genfscon usbdevfs / context_template(system_u:object_r:usbfs_t,s0)

type v4l_device_t, device_node;
fs_associate(v4l_device_t)
fs_associate_tmpfs(v4l_device_t)

type xserver_misc_device_t, device_node;
fs_associate(xserver_misc_device_t)
fs_associate_tmpfs(xserver_misc_device_t)

#
# zero_device_t is the type of /dev/zero.
#
type zero_device_t, device_node;
fs_associate(zero_device_t)
fs_associate_tmpfs(zero_device_t)