#
b73f1c8b |
|
16-Nov-2015 |
Adrian Danis <Adrian.Danis@nicta.com.au> |
libutils: Remove page.h definitions, which now exist in libsel4utils The page sizes supported by a system are a combination of both the raw architecture, as well as how seL4 is configured. This makes these definitions system specific, hence the need to move them
|