/* * Copyright (c) 2012-2014 Wind River Systems, Inc. * * SPDX-License-Identifier: Apache-2.0 */ #include int main(void) { printf("Hello World! %s\n", CONFIG_BOARD_TARGET); return 0; }