Anna Lyons 76faadc923 Add seL4_UserTop and move kernelBase to the arch level ...

- seL4_UserTop is a new constant which represents the top of virtual
memory available to user level
- this commit also rationalises several constants (USER_TOP, kernelBase)
and moves them to the arch level, such that ports only need to define
seL4_UserTop.

2018-12-12 16:24:31 +11:00

..

constants.h

Add seL4_UserTop and move kernelBase to the arch level

2018-12-12 16:24:31 +11:00