Anna Lyons
d93699c9a3
SELFOUR-114: remove duplication of seL4_MessageInfo_t, adjust naming to avoid cparser mangling
2016-01-11 11:16:08 +11:00
Adrian Danis
bd7f06d2dc
Move structures.bf files that contain 32-bit specific code into specific
...
mode directories
This commit is 'broken' as it leaves the repository in an unbuildable state.
The purpose of having this commit is so that there is a commit where the
modifications to these files is *just* a rename, making it easier to merge
these changes into other branches.
2015-12-14 12:48:12 +11:00
Adrian Danis
994c22dd13
trivial: style
2015-12-10 16:09:39 +11:00
Adrian Danis
0ecff9f393
unsigned int -> word_t
2015-12-10 10:45:21 +11:00
Adrian Danis
2d61910e0f
Rename uint32_t -> word_t in any relevant places
2015-12-10 10:45:20 +11:00
Adrian Danis
e2c6dbca3f
Cast to word_t instead of 'int' to be compatible with both 32 and 64 bit applications
2015-12-10 10:45:18 +11:00
Adrian Danis
d58d4f3e87
Use word_t for zombie pointers to be 64-bit compatible
2015-12-10 10:45:18 +11:00
Adrian Danis
fee26a8816
Change casting from int->long to be compatible with both 32 and 64 bit compilations
2015-12-10 10:45:18 +11:00
Gerwin Klein
142627ade0
terminology: updated two async stragglers in comments
2015-12-03 15:54:53 +11:00
Adrian Danis
a72e0468e3
Move object size definitions to arch specific headers
...
The size of these objects cannot be considered a common constant as
they will be different in the upcoming 64-bit ports
2015-11-13 14:43:20 +11:00
Adrian Danis
c75b3158d8
Fix definition of TCB_NAME_LENGTH to make it more correct
...
The previous definition of TCB_NAME_LENGTH assumed that the TCB was
split evenly into the cnode region and the rest. It did this by
calculating the size of the rest by using the size of the cnode
region. In actual fact the cnode region might be smaller, making
the size of the rest the size of the total tcb block size, minus
the cnode size. The max name length is therefore this region, minus
the size of the tcb_t
2015-11-13 14:37:13 +11:00
Anna Lyons
54603123e6
SELFOUR-317: rename async endpoint to notification object, and other
...
fallout.
2015-11-09 17:18:43 +11:00
Anna Lyons
88d73db06c
refactor tcb_t to remove duplication between x86 and arm header files
2015-11-09 17:18:43 +11:00
Anna Lyons
d9802d179f
Add seL4_NBWait: non blocking wait for notifications and endpoints.
2015-10-21 13:43:39 +11:00
Adrian Danis
97042a0f07
Introduce 'Notification Binding': a new feature which allows a tcb to be bound to a single asynchronous endpoint.
2015-10-09 15:19:58 +11:00
Adrian Danis
f86435c0f8
Refactor some common elements across arm and x86 structures.h files.
...
This change purely changes the ordering of C symbols, as well as
adding some extra checking
2015-06-15 17:17:07 +10:00
akroh
507e0b9d16
Fixed quoted size in thread state comment
2015-06-02 14:59:26 +10:00
Adrian Danis
b97c75ffb4
Move arch independent object definitions to common location
2015-05-14 09:42:19 +10:00
Adrian Danis
ae52b9eb02
Make reply and cnode caps the same on x86 and ARM and move to common structures file
2015-05-14 09:42:19 +10:00
Adrian Danis
9f812d695a
Make async endpoint caps the same on x86 and ARM and move to common structures file
2015-05-14 09:42:19 +10:00
Adrian Danis
dd4372e9c4
Make endpoint caps the same on x86 and ARM and move to common structures file
2015-05-14 09:42:19 +10:00
Adrian Danis
f65ff11956
Make cap types that are exactly the same on ARM and x86 defined in a common location
2015-05-14 09:42:18 +10:00
Adrian Danis
952e5a272b
Add ability to set a human readable thread name when running kernel in debug mode
2015-05-14 09:32:58 +10:00
Matthew Fernandez
931879af5a
trivial: Remove unimplemented function prototype.
2014-10-21 11:52:24 +11:00
Joel Beeren
3695d22b18
ioapic: refactored C code and first attempt at haskell spec
2014-09-02 16:22:40 +10:00
Adrian Danis
c0e9c63804
Support IOAPIC on ia32 and modify interrupt handling to support user level setting of modes
2014-09-02 16:22:40 +10:00
TrusthworthySystems
91b7da8625
Release snapshot
2014-07-18 05:03:59 +10:00
