
set(GENODE_TOOLS_DIR ${GENODE_DIR}/tool)

function(genode_current_port PORT_NAME)
    execute_process(COMMAND ${GENODE_TOOLS_DIR}/ports/current ${PORT_NAME}
            OUTPUT_VARIABLE STDOUT)

    string(REPLACE "\n" "" PORT_PATH ${STDOUT})
    set(RESULT_PORT_PATH ${PORT_PATH} PARENT_SCOPE)
endfunction()
