| David Brown | ada28e1 | 2017-07-05 13:36:37 -0600 | [diff] [blame^] | 1 | /* |
| 2 | * Copyright (c) 2012-2014 Wind River Systems, Inc. | ||||
| 3 | * | ||||
| 4 | * SPDX-License-Identifier: Apache-2.0 | ||||
| 5 | */ | ||||
| 6 | |||||
| 7 | #include <zephyr.h> | ||||
| 8 | #include <misc/printk.h> | ||||
| 9 | |||||
| 10 | void main(void) | ||||
| 11 | { | ||||
| 12 | printk("Hello World number 1! %s\n", CONFIG_ARCH); | ||||
| 13 | } | ||||