mirror of
https://github.com/polhenarejos/pico-keys-sdk
synced 2026-05-01 15:52:55 +02:00
14 lines
216 B
C
14 lines
216 B
C
#pragma once
|
|
|
|
/* Disable all native/asm backends */
|
|
#define MLK_NO_NATIVE_BACKENDS 1
|
|
|
|
/* No CBMC */
|
|
#undef CBMC
|
|
|
|
/* Platform characteristics */
|
|
#define MLK_LITTLE_ENDIAN 1
|
|
|
|
/* Memory model */
|
|
#define MLK_NO_MALLOC 1
|