7: Use DTEL to create a domain d_guest composed of processes executing the restricted shell / usr/bin/restsh. These processes cannot create any files. They can read and execute any object of type t_sysbin. They can read and search any object of type t_guest.