tree 717a01b0e0fe17d6b7ac7b6cd1b401f4e54af514
parent 89d14226cafba01cec2e9a55de776016b2dfd030
author Anna Lyons <Anna.Lyons@nicta.com.au> 1448856836 +1100
committer Anna Lyons <Anna.Lyons@nicta.com.au> 1448856836 +1100

libsel4simple-default: a minor cleanup which removes some truly horrible #defines and stops the code from breaking if the intial cap layout is altered