tree 9ec61ad4ef2de18873a8cbd0992c3eab10c3d6d3
parent 934ec2d5652a1c5ab9532085a941a7fac9c10294
author Kent McLeod <Kent.Mcleod@data61.csiro.au> 1589349611 +1000
committer Kent Mcleod <Kent.Mcleod@data61.csiro.au> 1589526685 +1000

sel4vmmplatsupport: increase buffer in load_image

Larger sized calls to read can lead to better loading performance if the
underlying read implementation has high overhead for each call
performed.