add_subdirectory_ifdef(CONFIG_RISCV_PRIVILEGED riscv-privileged)
