#define _ARCH_CC_H
#include <stdint.h>
+#include <vga-overlay.h>
+#include <output.h>
#include <minilib.h>
typedef uint8_t u8_t;
#define LWIP_PLATFORM_HTONS(x) htons(x)
#define LWIP_PLATFORM_HTONL(x) htonl(x)
-/* XXX fix this */
-#define LWIP_PLATFORM_DIAG(x)
-#define LWIP_PLATFORM_ASSERT(x)
+#define LWIP_PLATFORM_DIAG(x) outputf x
+#define LWIP_PLATFORM_ASSERT(x) dologf("ASSERT FAILED: %s\n", (x));
#endif