/* * Copyright (c) 2023 Antmicro * * SPDX-License-Identifier: Apache-2.0 */ #include #include #include int main(void) { console_getline_init(); while (1) { char *s = console_getline(); printk("getline: %s;\n", s); } return 0; }