# Copyright (C) 2005 Tresys Technology, LLC

policy_module(corecommands,1.0)

#

# bin_t is the type of files in the system bin directories.

#

type bin_t;

files_make_file(bin_t)

#

# sbin_t is the type of files in the system sbin directories.

#

type sbin_t;

files_make_file(sbin_t)

kernel_read_directory_from(sbin_t)

#

# ls_exec_t is the type of the ls program.

#

type ls_exec_t;

files_make_file(ls_exec_t)

#

# shell_exec_t is the type of user shells such as /bin/bash.

#

type shell_exec_t;

files_make_file(shell_exec_t)

type chroot_exec_t;

files_make_file(chroot_exec_t)