2018-05-29 23:55:58 +01:00
|
|
|
#ifndef __PXTCORE_H
|
|
|
|
#define __PXTCORE_H
|
|
|
|
|
|
|
|
#include "MicroBit.h"
|
|
|
|
#include "MicroBitImage.h"
|
|
|
|
#include "ManagedString.h"
|
|
|
|
#include "ManagedType.h"
|
|
|
|
|
|
|
|
namespace pxt {
|
|
|
|
void debuglog(const char *format, ...);
|
|
|
|
}
|
|
|
|
|
2019-02-21 15:41:32 -08:00
|
|
|
// #define GC_GET_HEAP_SIZE() device_heap_size(0)
|
|
|
|
#define xmalloc malloc
|
|
|
|
#define xfree free
|
|
|
|
|
2019-02-27 15:24:25 -08:00
|
|
|
#if CONFIG_ENABLED(MICROBIT_BLE_ENABLED)
|
|
|
|
#define GC_BLOCK_SIZE 256
|
|
|
|
#else
|
2019-02-21 15:41:32 -08:00
|
|
|
#define GC_BLOCK_SIZE 1000
|
2019-02-27 15:24:25 -08:00
|
|
|
#endif
|
2018-05-29 23:55:58 +01:00
|
|
|
|
|
|
|
#define DMESG NOLOG
|
|
|
|
|
|
|
|
#endif
|