portugalfuturista/seL4
2
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
seL4/include
History
Kent McLeod a5148a1957 exynos: Move mct MCS functions to specific header 
On exynos5 platforms the Arm Generic timer is available and is used for
MCS, but the mct.h is still used as the mct device needs to be
configured to implement the Arm Generic timer. mct.h is a common header
for register definitions while exynos4412-mct.h is used for implementing
timer functions on the exynos4 where the mct doesn't support being the
Arm generic timer.

Also remove misplaced initGenericTimer() declaration.
2019-10-23 16:30:17 +11:00
..
32/mode mcs: timeout exceptions 2019-08-22 11:22:38 +10:00
64/mode mcs: timeout exceptions 2019-08-22 11:22:38 +10:00
api mcs: add periodic scheduling 2019-08-22 11:22:35 +10:00
arch trivial: Replace asm with fence_rw_rw() 2019-10-10 17:22:06 +11:00
benchmark benchmark: remove unused function 2019-06-14 14:11:09 +10:00
drivers exynos: Move mct MCS functions to specific header 2019-10-23 16:30:17 +11:00
fastpath mcs: scheduling context donation over ipc 2019-08-22 11:22:37 +10:00
kernel mcs: Don't rollback time when not rescheduling 2019-09-23 16:49:07 +10:00
machine mcs: timeout exceptions 2019-08-22 11:22:38 +10:00
model mcs: configurable scheduling context size 2019-08-22 11:22:38 +10:00
object mcs: RISC-V uses 39-bit addressing in stuctures.bf 2019-08-27 10:46:13 +10:00
plat KernelIRQReporting: Change reserved IRQ reporting 2019-09-19 11:33:03 +10:00
smp style: consistently attach return type 2019-03-19 14:05:36 +11:00
api.h
assert.h style: consistently align pointer with name 2019-03-19 14:04:54 +11:00
basic_types.h Type wrapper for a word_t that may alias 2018-04-24 14:04:46 +10:00
bootinfo.h Remove symlinked libsel4 files from include dir 2019-03-21 12:44:57 +11:00
compound_types.h
config.h mcs: allow kernel WCET estimate to be scaled 2019-08-22 11:22:39 +10:00
linker.h x64: SKIM window to mitigate Meltdown (CVE-2017-5754) on x86-64 2018-01-17 16:38:52 +11:00
machine.h style: consistently attach return type 2019-03-19 14:05:36 +11:00
object.h
stdarg.h
stdint.h Add stdint MAX definitions 2017-11-17 14:49:27 +11:00
string.h Expose string functions in all builds 2018-04-18 10:10:14 +10:00
types.h
util.h mcs: verification spec for clzll 2019-08-22 11:22:37 +10:00