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