Adrian Danis 6ef0b35313 x86: Add missing case for PDPT objects in cap_get_archCapSizeBits

2015-11-27 14:39:19 +11:00

..

api

SELFOUR-279: rename Wait -> Recv, add wrappers for seL4_Poll and seL4_Wait for notification objects.

2015-11-20 15:28:18 +11:00

arch

x86: Add missing case for PDPT objects in cap_get_archCapSizeBits

2015-11-27 14:39:19 +11:00

fastpath

SELFOUR-317: rename async endpoint to notification object, and other

2015-11-09 17:18:43 +11:00

kernel

SELFOUR-279: rename Wait -> Recv, add wrappers for seL4_Poll and seL4_Wait for notification objects.

2015-11-20 15:28:18 +11:00

machine

refactor tcb_t to remove duplication between x86 and arm header files

2015-11-09 17:18:43 +11:00

model

Using bitfields to track for which priorities there exist non-empty ready queues.

2015-10-21 18:52:44 +11:00

object

Move object size definitions to arch specific headers

2015-11-13 14:43:20 +11:00

plat

Use autoconf generated header for standalone kernel builds

2015-11-09 14:41:18 +11: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

split the types header into basic and compound to resolve circular dependencies

2015-04-15 11:57:08 +10:00

benchmark.h

Trivial: style

2015-09-08 12:46:09 +10:00

bootinfo.h

ia32: Large commit that implements PAE paging for x86

2015-01-28 12:11:51 +11:00

compound_types.h

split the types header into basic and compound to resolve circular dependencies

2015-04-15 11:57:08 +10:00

config.h

Removed CONFIG_BENCHMARK config option. All checks for '#ifdef CONFIG_BENCHMARK' replaced with '#if CONFIG_MAX_NUM_TRACE_POINTS > 0'.

2015-09-03 11:39:31 +10:00

machine.h

Release snapshot

2014-07-18 05:03:59 +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

generate warnings for incorrect format strings for kprintf, bring stdint.h

2015-09-30 12:31:39 +10:00

string.h

Add ability to set a human readable thread name when running kernel in debug mode

2015-05-14 09:32:58 +10:00

types.h

ia32: added the option to disable prefetchers

2015-04-15 14:38:55 +10:00

util.h

Add 'fastcall' abstraction to util.h.

2015-11-19 17:14:49 +11:00