add_executable(helloworld-main src/main.c)

target_link_libraries(helloworld-main
    libsel4
    libsel4printf
    libsel4startstop
)

add_dependencies(helloworld-main sel4_kernel)

add_executable(helloworld src/main.c)

target_link_libraries(helloworld
    libsel4
    libsel4printf
    libsel4startstop
)

add_dependencies(helloworld sel4_kernel)

Rename target to helloworld from helloworld-main
Rename target to helloworld from helloworld-main
