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("Upgraded hello! %s\n", CONFIG_ARCH); | ||||
13 | } |