cpu_conf.h

Go to the documentation of this file.

/*
 * SPDX-FileCopyrightText: 2013 Freie Universität Berlin (FUB)
 * SPDX-License-Identifier: LGPL-2.1-only
 */
 
#pragma once
 
#ifdef __cplusplus
extern "C" {
#endif
 
#define __FOPEN_MAX__       4
#define __FILENAME_MAX__    12
#define IRQ_API_INLINED     (1)
 
#define THREAD_EXTRA_STACKSIZE_PRINTF        (512)
 
#ifndef THREAD_STACKSIZE_DEFAULT
#define THREAD_STACKSIZE_DEFAULT   (1024)
#endif
 
#ifndef THREAD_STACKSIZE_IDLE
#define THREAD_STACKSIZE_IDLE      (160)
#endif
/* The idle stack of '160' is not enough to do the 'msg_receive'.
 * It currently used '164' bytes. */
#define CONFIG_PTHREAD_REAPER_BASE_STACKSIZE (2*THREAD_STACKSIZE_IDLE)
#define CC_CONF_INLINE                  inline
#define CC_CONF_USED                    __attribute__((used))
#define CC_CONF_NONNULL(...)            __attribute__((nonnull(__VA_ARGS__)))
#define CC_CONF_WARN_UNUSED_RESULT      __attribute__((warn_unused_result))
#define PUF_SRAM_ATTRIBUTES __attribute__((used, section(".noinit")))
 
#define UND_STACKSIZE                   (4)
#define ABT_STACKSIZE                   (4)
#ifndef ISR_STACKSIZE
#define ISR_STACKSIZE                   (400)
#endif
#define FIQ_STACKSIZE                   (64)
#define SVC_STACKSIZE                   (400)
#define USR_STACKSIZE                   (4096)
#define NUM_HEAPS (4)
 
#define BACKUP_RAM      __attribute__((section(".backup.bss")))
 
#define BACKUP_RAM_DATA __attribute__((section(".backup.data")))
 
#define PERIPH_FLASHPAGE_CUSTOM_PAGESIZES
 
#define CPU_FLASH_BASE          (0x0U)
 
#define PERIPH_FLASHPAGE_NEEDS_FLASHPAGE_ADDR
#define PERIPH_FLASHPAGE_NEEDS_FLASHPAGE_PAGE
 
#define FLASHPAGE_NUMOF                 (27)
#define FLASHPAGE_WRITE_BLOCK_SIZE      (256)
#define FLASHPAGE_WRITE_BLOCK_ALIGNMENT (256)
#ifdef __cplusplus
}
#endif