tree 978f9860563d4fc927c4bb5d3a4ede3116ff3d5b
parent a98598a67b7423d522d1caec30d62564b7e46dc5
parent a7e6e0557ff787c458ed6e941ec925040bd7dbad
author Matthew Fernandez <Matthew.Fernandez@nicta.com.au> 1463532485 +0000
committer Matthew Fernandez <Matthew.Fernandez@nicta.com.au> 1463532485 +0000

Merge pull request #66 in SEL4/sel4_libs from ~MFERNANDEZ/sel4_libs:aeeb7e68-c2e2-43c6-8d72-bd94b55363c7 to master

* commit 'a7e6e0557ff787c458ed6e941ec925040bd7dbad':
  libsel4utils: Mark some strings as const.
  libsel4test: Mark some char * parameters as const.
  libsel4allocman: Fix missing initialised field.