add_executable(bootinfo src/main.c)

target_link_libraries(bootinfo
    libsel4
    libsel4printf
    libsel4startstop
)

add_dependencies(bootinfo sel4_kernel)

set(target "bootinfo")

add_executable(${target} src/main.c)

target_link_libraries(${target}
    libsel4
    libsel4printf
    libsel4startstop
)

AddRunTarget(${target})

add_dependencies(${target} sel4_kernel)

Use AddRunTarget function to add run_bootinfo.
Use AddRunTarget function to add run_bootinfo.

Also use target variable for the name.
