subdir('core')
subdir('semihosting')
subdir('xen')