add_executable(helloworld src/main.c)

target_link_libraries(helloworld
    libsel4
    libsel4printf
    libsel4startstop
)

add_dependencies(helloworld sel4_kernel)

set(target "helloworld")

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_helloworld.
Use AddRunTarget function to add run_helloworld.

Also use target variable for the name.
