tree ba6d9df43712be6dee9bec6119115b436a008017
parent 099dec2df9c9c7be6f4801152b59f039a955f79a
parent cde762c0ce9510aa916419d407f55c3617f8c4a8
author Anna Lyons <Anna.Lyons@nicta.com.au> 1463537702 +0000
committer Anna Lyons <Anna.Lyons@nicta.com.au> 1463537702 +0000

Merge pull request #72 in SEL4/sel4_libs from ~ALYONS/sel4_libs:minor to master

* commit 'cde762c0ce9510aa916419d407f55c3617f8c4a8':
  sel4vspace: add seL4_ARCH_LargePageObject constant
  sel4platsupport: use hpet specific destroy