tree a86fe67b308fcae944d421f51a646743f4a7be12
parent cf9bb7a44f68d16d431758e2741621064ab06a90
author Yanyan Shen <yanyan.shen@nicta.com.au> 1446514495 +1100
committer Adrian Danis <Adrian.Danis@nicta.com.au> 1449620884 +1100

libsel4simple: remove hardcoded cnode size bit