From 7ed5d87fb1aaed4b809e6ee97d941363b65ebc02 Mon Sep 17 00:00:00 2001 From: graham sanderson Date: Wed, 24 Feb 2021 17:31:13 -0600 Subject: [PATCH] host mode fixups --- src/common/pico_binary_info/include/pico/binary_info.h | 7 +++---- src/host/boot_stage2.c | 4 +++- src/host/pico_stdio/include/pico/stdio.h | 2 +- 3 files changed, 7 insertions(+), 6 deletions(-) diff --git a/src/common/pico_binary_info/include/pico/binary_info.h b/src/common/pico_binary_info/include/pico/binary_info.h index 2a641ab..1e2a4fc 100644 --- a/src/common/pico_binary_info/include/pico/binary_info.h +++ b/src/common/pico_binary_info/include/pico/binary_info.h @@ -20,9 +20,8 @@ #include "pico/binary_info/defs.h" #include "pico/binary_info/structure.h" -#if PICO_ON_DEVICE -#include "pico/binary_info/code.h" +#if !PICO_ON_DEVICE && !defined(PICO_NO_BINARY_INFO) +#define PICO_NO_BINARY_INFO 1 #endif - - +#include "pico/binary_info/code.h" #endif \ No newline at end of file diff --git a/src/host/boot_stage2.c b/src/host/boot_stage2.c index cfa374b..52794b1 100644 --- a/src/host/boot_stage2.c +++ b/src/host/boot_stage2.c @@ -1 +1,3 @@ -// empty \ No newline at end of file +void main() { + +} \ No newline at end of file diff --git a/src/host/pico_stdio/include/pico/stdio.h b/src/host/pico_stdio/include/pico/stdio.h index 798edb3..5431853 100644 --- a/src/host/pico_stdio/include/pico/stdio.h +++ b/src/host/pico_stdio/include/pico/stdio.h @@ -14,7 +14,7 @@ typedef struct stdio_driver stdio_driver_t; static inline void stdio_usb_init() {} void stdio_uart_init(); static inline void stdio_init_all() { stdio_uart_init(); } -static inline void stdio_filter_driver(stdio_driver_t *); +static inline void stdio_filter_driver(stdio_driver_t *driver) {} static inline void stdio_set_translate_crlf(stdio_driver_t *driver, bool enabled) {} int getchar_timeout_us(uint32_t timeout_us);