| 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 | 1.6 KiB | 65 | 25 | |
| cache.h | A D | 16-Nov-2021 | 1.8 KiB | 74 | 44 | |
| consts.h | A D | 16-Nov-2021 | 1.4 KiB | 46 | 7 | |
| ktrace_events.h | A D | 16-Nov-2021 | 8.5 KiB | 261 | 256 | |
| l4int.h | A D | 16-Nov-2021 | 1.3 KiB | 38 | 5 | |
| linkage.h | A D | 16-Nov-2021 | 1.3 KiB | 48 | 14 | |
| utcb.h | A D | 16-Nov-2021 | 3.3 KiB | 129 | 67 | |
| vm.h | A D | 16-Nov-2021 | 84 | 6 | 1 |