Google Git
Sign in
opensecura / 3p / sel4 / sel4_libs / dc4b8325fe3804771e9043d29aba6b37b939acec / libsel4simple / src / simple.c
  1. c7c73c9 sel4simple: remove simple_copy_caps by Anna Lyons · 8 years ago
  2. 7f0e780 trivial: return a bool in simple_is_untyped_cap by Anna Lyons · 8 years ago
  3. 9214341 Fix licenses by Anna Lyons · 8 years ago
  4. b4cc548 SELFOUR-807: Add can_use_dev param for frame vka by Kent McLeod · 8 years ago
  5. f030732 SELFOUR-421 Handle updated bootinfo with device untypeds by Adrian Danis · 9 years ago
  6. 013a239 libsel4-simple: Remove some unnecessary casts. by Matthew Fernandez · 9 years ago
  7. 66620f3 sel4simple: clean up by Anna Lyons · 9 years ago
  8. a949abb libsel4simple: remove hardcoded cnode size bit by Yanyan Shen · 9 years ago
  9. 8c57467 Add 'libsel4simple/' from commit '57a0ceec1af0859a8ef58eb24f2c845e2c3b4a9e' by Anna Lyons · 9 years ago