| Name | Date | Size | #Lines | LOC | ||
|---|---|---|---|---|---|---|
| .. | 16-Nov-2021 | - | ||||
| L4API-l4f/ | 16-Nov-2021 | - | ||||
| __kip-arch.h | A D | 16-Nov-2021 | 897 | 22 | 3 | |
| __vcpu-arch.h | A D | 16-Nov-2021 | 2.8 KiB | 95 | 51 | |
| cache.h | A D | 16-Nov-2021 | 1.8 KiB | 74 | 44 | |
| consts.h | A D | 16-Nov-2021 | 1.6 KiB | 46 | 6 | |
| ktrace_events.h | A D | 16-Nov-2021 | 9.3 KiB | 286 | 281 | |
| l4int.h | A D | 16-Nov-2021 | 1.4 KiB | 40 | 5 | |
| linkage.h | A D | 16-Nov-2021 | 1.4 KiB | 50 | 14 | |
| segment.h | A D | 16-Nov-2021 | 6.5 KiB | 198 | 75 | |
| utcb.h | A D | 16-Nov-2021 | 3.8 KiB | 134 | 75 | |
| vm.h | A D | 16-Nov-2021 | 994 | 27 | 3 |