| Name | Date | Size | #Lines | LOC | ||
|---|---|---|---|---|---|---|
| .. | - | - | ||||
| device.te | D | 22-Nov-2023 | 92 | 4 | 3 | |
| domain.te | D | 22-Nov-2023 | 49 | 2 | 1 | |
| drmserver.te | D | 22-Nov-2023 | 54 | 2 | 1 | |
| file.te | D | 22-Nov-2023 | 48 | 2 | 1 | |
| file_contexts | D | 22-Nov-2023 | 1.8 KiB | 45 | 32 | |
| gpsd.te | D | 22-Nov-2023 | 194 | 5 | 4 | |
| healthd.te | D | 22-Nov-2023 | 55 | 2 | 1 | |
| mediaserver.te | D | 22-Nov-2023 | 198 | 6 | 4 | |
| system_server.te | D | 22-Nov-2023 | 280 | 5 | 4 |