#define _ARCH_CC_H
#include <stdint.h>
+#include <vga-overlay.h>
+#include <output.h>
#include <minilib.h>
typedef uint8_t u8_t;
typedef int32_t s32_t;
typedef uint32_t mem_ptr_t;
-#define PACK_STRUCT_FIELD(x) x __attribute__((packed))
+#define PACK_STRUCT_FIELD(x) x
#define PACK_STRUCT_STRUCT __attribute__((packed))
#define PACK_STRUCT_BEGIN
#define PACK_STRUCT_END
#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