Sign in
pigweed
/
third_party
/
github
/
zephyrproject-rtos
/
zephyr
/
5d34891ae00fd6cdf542d50a8ae432fc50df156d
/
.
/
tests
/
boot
/
uefi
/
src
/
main.c
blob: 1f1106a128698d9d020cfae1ebea34d6179423d4 [
file
] [
log
] [
blame
]
/*
* Copyright (c) 2012-2014 Wind River Systems, Inc.
*
* SPDX-License-Identifier: Apache-2.0
*/
#include
<zephyr/kernel.h>
#include
<zephyr/sys/printk.h>
void
main
(
void
)
{
printk
(
"Hello World! %s\n"
,
CONFIG_BOARD
);
}