| Name | Date | Size | #Lines | LOC | ||
|---|---|---|---|---|---|---|
| .. | 16-Nov-2021 | - | ||||
| L4API-l4f/ | 16-Nov-2021 | - | ||||
| __kip-arch.h | A D | 16-Nov-2021 | 1.2 KiB | 33 | 9 | |
| __vcpu-arch.h | A D | 16-Nov-2021 | 2.3 KiB | 88 | 38 | |
| cache.h | A D | 16-Nov-2021 | 3.2 KiB | 112 | 70 | |
| consts.h | A D | 16-Nov-2021 | 1.4 KiB | 49 | 7 | |
| ktrace_events.h | A D | 16-Nov-2021 | 8.8 KiB | 273 | 268 | |
| l4int.h | A D | 16-Nov-2021 | 1.3 KiB | 39 | 5 | |
| linkage.h | A D | 16-Nov-2021 | 159 | 12 | 4 | |
| task.h | A D | 16-Nov-2021 | 840 | 21 | 3 | |
| thread.h | A D | 16-Nov-2021 | 2 KiB | 63 | 22 | |
| utcb.h | A D | 16-Nov-2021 | 3.1 KiB | 119 | 60 | |
| vm | A D | 16-Nov-2021 | 844 | 21 | 19 | |
| vm.h | A D | 16-Nov-2021 | 2 | 3 | 0 |