portugalfuturista/seL4
2
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
seL4/include
History
Kent McLeod d436eb8635 Move CONFIG_ARM_ENABLE_PMU_OVERFLOW_INTERRUPT def 
This definition is intended to select functionality for processing a PMU
cycle counter overflow interrupt while using the thread utilization
benchmarking feature. Instead of forcing for all Arm platforms, only set
it if KERNEL_PMU_IRQ is defined and the IRQ has been configured
properly.

The consequence of this change is that aarch64 platforms that
have a 64bit counter that is unlikely to overflow do not need an
overflow interrupt to be defined.

Signed-off-by: Kent McLeod <Kent.Mcleod@data61.csiro.au>
2020-07-14 14:13:27 +10:00
..
32/mode replacing all ifndef with pargma once 2020-03-23 11:04:46 +11:00
64/mode replacing all ifndef with pargma once 2020-03-23 11:04:46 +11:00
api Enabled IPC debug features under new config 2020-04-06 14:21:46 +10:00
arch Move CONFIG_ARM_ENABLE_PMU_OVERFLOW_INTERRUPT def 2020-07-14 14:13:27 +10:00
benchmark replacing all ifndef with pargma once 2020-03-23 11:04:46 +11:00
drivers hifive: Expose seL4_IRQControl_GetTrigger API 2020-04-17 17:55:55 +10:00
fastpath replacing all ifndef with pargma once 2020-03-23 11:04:46 +11:00
kernel introduce isStopped and change isBlocked 2020-05-06 15:49:33 +10:00
machine userError string written to IPC buffer 2020-04-06 12:57:04 +10:00
model replacing all ifndef with pargma once 2020-03-23 11:04:46 +11:00
object reflect function split in thread_control_flag 2020-04-27 11:44:00 +10:00
plat Invert address mapping diagrams 2020-05-22 12:26:13 +10:00
smp Repair barriers in clh_lock_acquire 2020-06-22 11:53:08 +10:00
api.h replacing all ifndef with pargma once 2020-03-23 11:04:46 +11:00
assert.h replacing all ifndef with pargma once 2020-03-23 11:04:46 +11:00
basic_types.h replacing all ifndef with pargma once 2020-03-23 11:04:46 +11:00
bootinfo.h replacing all ifndef with pargma once 2020-03-23 11:04:46 +11:00
compound_types.h replacing all ifndef with pargma once 2020-03-23 11:04:46 +11:00
config.h replacing all ifndef with pargma once 2020-03-23 11:04:46 +11:00
hardware.h trivial: fix header files 2020-05-22 12:26:13 +10:00
linker.h replacing all ifndef with pargma once 2020-03-23 11:04:46 +11:00
machine.h Consolidate kernel virtual memory regions 2020-05-22 12:26:13 +10:00
object.h replacing all ifndef with pargma once 2020-03-23 11:04:46 +11:00
stdarg.h Revised kernel printf implementation 2020-05-19 13:16:20 +10:00
stdint.h replacing all ifndef with pargma once 2020-03-23 11:04:46 +11:00
string.h replacing all ifndef with pargma once 2020-03-23 11:04:46 +11:00
types.h replacing all ifndef with pargma once 2020-03-23 11:04:46 +11:00
util.h trivial: Use UL_CONST in assembler macros 2020-05-22 12:26:13 +10:00