add_executable(test-nolibc src/main.c)

target_link_libraries(test-nolibc
    libsel4
    libsel4assert
    libsel4benchmark
    libsel4printf
    libsel4putchar
    libsel4string
    libsel4startstop
)

add_dependencies(test-nolibc sel4_kernel)

set(target "test-nolibc")

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

target_link_libraries(${target}
    libsel4
    libsel4assert
    libsel4benchmark
    libsel4printf
    libsel4putchar
    libsel4string
    libsel4startstop
)

AddRunTarget(${target})

add_dependencies(${target} sel4_kernel)

Use AddRunTarget function to add run_test-nolibc.
Use AddRunTarget function to add run_test-nolibc.

Also use target variable for the name.
