tree f041175d98874489da1cb072d411da8a333fb403
parent c1a3178bebf3dda0424827bbca40f01d13731de3
author Anna Lyons <Anna.Lyons@data61.csiro.au> 1502332215 +1000
committer Anna Lyons <Anna.Lyons@data61.csiro.au> 1503300354 +1000

Support reply objects in seL4_libs

Only if CONFIG_KERNEL_RT is enabled will they work, but most of
the code is compiled in order to make maintenance easier.