runtime_config.h

Go to the documentation of this file.

#pragma once

#ifdef __cplusplus
extern "C" {
#endif

#include<libtransistor/types.h>

typedef enum {
    _TRN_RUNCONF_STDIO_OVERRIDE_NONE, 
    _TRN_RUNCONF_STDIO_OVERRIDE_USB_SERIAL, 
    _TRN_RUNCONF_STDIO_OVERRIDE_SOCKETS, 
    _TRN_RUNCONF_STDIO_OVERRIDE_TWILI, 
} runconf_stdio_override_t;

extern runconf_stdio_override_t _trn_runconf_stdio_override;
extern const char *_trn_runconf_stdio_override_sockets_host;
extern const char *_trn_runconf_stdio_override_sockets_port;

typedef enum {
    _TRN_RUNCONF_HEAP_MODE_DEFAULT, 
    _TRN_RUNCONF_HEAP_MODE_NORMAL, 
    _TRN_RUNCONF_HEAP_MODE_OVERRIDE, 
} runconf_heap_mode_t;

extern runconf_heap_mode_t _trn_runconf_heap_mode;
extern void *_trn_runconf_heap_base;
extern size_t _trn_runconf_heap_size;

#ifdef __cplusplus
}
#endif