use("acpi")
use("ahci")
use("char")
use("gfxa")
use("rtc")
use("term")
use("timer")
use("bus")

if config("use_devicetree"):
    sources("devtree.c")