1. e23dc54 seL4_libs: remove autoconf.h from seL4_libs by Yu Hou · 6 years ago
  2. 9214341 Fix licenses by Anna Lyons · 8 years ago
  3. bc28958 Remove #ifdef guards for the existance of different libraries by Adrian Danis · 8 years ago
  4. c575e36 libsel4utils: Use consistent cookie type in iommu_dma by Adrian Danis · 8 years ago
  5. c029a58 sel4utils: iommu_dma_alloc_iospace takes cookie by Stephen Sherratt · 8 years ago
  6. 7de2899 sel4utils: IOMMU DMA alloc for pre-alloc'd buffer by Stephen Sherratt · 9 years ago
  7. 957129b sel4utils: remove unused variable by Alexander Wharton · 8 years ago
  8. 9604d83 sel4utils: IOMMU DMA alloc for pre-alloc'd buffer by Stephen Sherratt · 9 years ago
  9. d1c8fcc libsel4utils: Replace malloc;memset pattern with calloc. by Matthew Fernandez · 9 years ago
  10. dfac95b libsel4utils: Remove some unnecessary type casts. by Matthew Fernandez · 9 years ago
  11. a550839 libsel4utils: Minor type and printing changes for 64bit compatibility by Adrian Danis · 9 years ago
  12. 67c869c all: s/LOG_*/ZF_LOG* by Anna Lyons · 9 years ago
  13. f077a17 Add 'libsel4utils/' from commit '3af53102843fda03c107caf83d43685b0a3c4822' by Anna Lyons · 9 years ago