tree 16ca910f73732fb651ffc6851524cef82ec8724d
parent d69f819e8aac4ebc5669027d1fefbe01ddfc3d27
author Kent McLeod <Kent.Mcleod@data61.csiro.au> 1589419754 +1000
committer Kent McLeod <Kent.Mcleod@data61.csiro.au> 1589419754 +1000

Disconnect libsel4dma from vmm libraries

This is an unused dependency and can be removed.