portugalfuturista/seL4
2
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
seL4/include
History
Anna Lyons 7336303b7f SELFOUR-276: Add MCP field to threads. 
Where MCP = Maximum Controlled Priority

This commit adds:

* seL4_TCB_SetMCPriority

and changes the arguments to

* seL4_TCB_Configure

As of this commit, a thread cannot create or set a threads
priority (including itself) above its mcp. Previously the kernel
did this check against a threads priority, which prevented a thread
from setting it's own priority down and then up again.
2016-10-05 11:11:19 +11:00
..
api SELFOUR-276: Add MCP field to threads. 2016-10-05 11:11:19 +11:00
arch x86: Rename decodeIA32PortOperation->decodeX86PortOperation 2016-10-04 11:17:35 +11:00
fastpath SELFOUR-317: rename async endpoint to notification object, and other 2015-11-09 17:18:43 +11:00
kernel SELFOUR-276: Add MCP field to threads. 2016-10-05 11:11:19 +11:00
machine SELFOUR-624: fix ia32 debug build 2016-08-24 11:10:12 +10:00
model SELFOUR-630:preliminary booting application processors 2016-09-28 16:10:25 +10:00
object SELFOUR-276: Add MCP field to threads. 2016-10-05 11:11:19 +11:00
plat TK1: Split the mux controller from the misc region 2016-09-29 15:13:16 +10:00
api.h Release snapshot 2014-07-18 05:03:59 +10:00
assert.h Always have compile_assert enabled 2015-11-11 11:09:24 +11:00
basic_types.h Rename uint32_t -> word_t in any relevant places 2015-12-10 10:45:20 +11:00
benchmark.h Benchmark: Share trace point log structure with the user 2016-08-26 11:13:05 +10:00
benchmark_tracepoints_types.h Benchmark: Share trace point log structure with the user 2016-08-26 11:13:05 +10:00
benchmark_track.h trivial: move ksKernelEntry definition 2016-09-23 15:13:38 +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 Benchmark: Implement per-thread reset syscall 2016-09-12 13:54:12 +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 SELFOUR-421 Introduce explicit device frames and untypeds 2016-09-23 14:15:08 +10:00
machine.h SELFOUR-607: inline remaining irq path functions 2016-08-09 16:18:34 +10:00
Makefile Release snapshot 2014-07-18 05:03:59 +10:00
object.h SELFOUR-317: rename async endpoint to notification object, and other 2015-11-09 17:18:43 +11:00
stdarg.h Release snapshot 2014-07-18 05:03:59 +10:00
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 ia32: added the option to disable prefetchers 2015-04-15 14:38:55 +10:00
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