| DIR | . | 0755 | Edit | Del |
| DIR | .. | 0755 | Edit | Del |
| FILE | boolean_record.h | 0644 | Edit | Del |
| FILE | booleans.h | 0644 | Edit | Del |
| DIR | cil | 0755 | Edit | Del |
| FILE | context.h | 0644 | Edit | Del |
| FILE | context_record.h | 0644 | Edit | Del |
| FILE | debug.h | 0644 | Edit | Del |
| FILE | errcodes.h | 0644 | Edit | Del |
| FILE | handle.h | 0644 | Edit | Del |
| FILE | ibendport_record.h | 0644 | Edit | Del |
| FILE | ibendports.h | 0644 | Edit | Del |
| FILE | ibpkey_record.h | 0644 | Edit | Del |
| FILE | ibpkeys.h | 0644 | Edit | Del |
| FILE | iface_record.h | 0644 | Edit | Del |
| FILE | interfaces.h | 0644 | Edit | Del |
| FILE | kernel_to_cil.h | 0644 | Edit | Del |
| FILE | kernel_to_conf.h | 0644 | Edit | Del |
| FILE | module.h | 0644 | Edit | Del |
| FILE | module_to_cil.h | 0644 | Edit | Del |
| FILE | node_record.h | 0644 | Edit | Del |
| FILE | nodes.h | 0644 | Edit | Del |
| DIR | policydb | 0755 | Edit | Del |
| FILE | policydb.h | 0644 | Edit | Del |
| FILE | port_record.h | 0644 | Edit | Del |
| FILE | ports.h | 0644 | Edit | Del |
| FILE | roles.h | 0644 | Edit | Del |
| FILE | sepol.h | 0644 | Edit | Del |
| FILE | user_record.h | 0644 | Edit | Del |
| FILE | users.h | 0644 | Edit | Del |