| .. |
|
api
|
SELFOUR-566: Decouble seL4_DebugNameThread from CONFIG_PRINTING
|
2016-07-15 12:30:17 +10:00 |
|
arch
|
SELFOUR-551: Swap argument order of [di|a]ssociateVcpuTcb
|
2016-07-26 15:57:16 +10:00 |
|
fastpath
|
|
|
|
kernel
|
SELFOUR-545: x86 - cleanup c_traps.c file and use new traps.h
|
2016-07-08 10:39:17 +10:00 |
|
machine
|
Refactor duplicated code in hardware.h
|
2016-06-07 12:01:14 +10:00 |
|
model
|
Refactor duplicated code in hardware.h
|
2016-06-07 12:01:14 +10:00 |
|
object
|
SELFOUR-566: Decouble seL4_DebugNameThread from CONFIG_PRINTING
|
2016-07-15 12:30:17 +10:00 |
|
plat
|
SELFOUR-552: Translate IO-ASIDs->PDs by table
|
2016-07-08 15:38:33 +10:00 |
|
api.h
|
|
|
|
assert.h
|
|
|
|
basic_types.h
|
Rename uint32_t -> word_t in any relevant places
|
2015-12-10 10:45:20 +11:00 |
|
benchmark.h
|
SELFOUR-448 Benchmark: Track thread's CPU utilisation time
|
2016-06-24 12:43:09 +10:00 |
|
benchmark_track.h
|
SELFOUR-446 Benchmark: Share kernel entry types with user-level
|
2016-06-07 09:19:31 +10:00 |
|
benchmark_track_types.h
|
SELFOUR-446 Benchmark: Share kernel entry types with user-level
|
2016-06-07 09:19:31 +10:00 |
|
benchmark_utilisation.h
|
Remove #include <stdbool.h>
|
2016-06-24 15:05:44 +10:00 |
|
benchmark_utilisation_types.h
|
SELFOUR-448 Benchmark: Track thread's CPU utilisation time
|
2016-06-24 12:43:09 +10:00 |
|
bootinfo.h
|
SELFOUR-114: remove bootinfo.h duplication
|
2016-03-01 17:25:22 +11:00 |
|
compound_types.h
|
unsigned int -> word_t
|
2015-12-10 10:45:21 +11:00 |
|
config.h
|
x86: Port some of the IOMMU changes on the experimental branch
|
2015-12-18 15:06:39 +11:00 |
|
machine.h
|
Refactor duplicated code in hardware.h
|
2016-06-07 12:01:14 +10:00 |
|
Makefile
|
|
|
|
object.h
|
|
|
|
stdarg.h
|
|
|
|
stdint.h
|
conversion: fixed unnecessary word_t change
|
2015-12-10 10:45:22 +11:00 |
|
string.h
|
Correct separation of printing and debug builds
|
2016-05-17 15:10:08 +10:00 |
|
types.h
|
|
|
|
util.h
|
Merge pull request #274 in SEL4/sel4 from ~MFERNANDEZ/sel4:8dafd43a-daa8-4d38-ad7e-3ac425d50087 to master
|
2016-07-21 05:03:02 +00:00 |
a185335e62