tree 9dd6b23489f0f006a317e44ab6f63146e7f8d02a
parent e23dc54b887419df6f436ec42be5e9d1057553f7
author Yu Hou <Yu.Hou@data61.csiro.au> 1562873154 +1000
committer Yu Hou <Yu.Hou@data61.csiro.au> 1563464933 +1000

seL4_libs: specify linking method

this commit set as much private linked config as possible