| 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.3 KiB | 56 | 20 | |
| cache.h | A D | 16-Nov-2021 | 3.4 KiB | 122 | 81 | |
| consts.h | A D | 16-Nov-2021 | 1.8 KiB | 62 | 16 | |
| ktrace_events.h | A D | 16-Nov-2021 | 16.1 KiB | 502 | 497 | |
| l4int.h | A D | 16-Nov-2021 | 1.7 KiB | 51 | 10 | |
| linkage.h | A D | 16-Nov-2021 | 1.6 KiB | 57 | 14 | |
| utcb.h | A D | 16-Nov-2021 | 3.1 KiB | 132 | 83 | |
| vm.h | A D | 16-Nov-2021 | 10.7 KiB | 383 | 164 |