Nexus Embedded Platform 0.1.0
Statically assembled reusable embedded mechanisms
Loading...
Searching...
No Matches
freertos_user.h
Go to the documentation of this file.
1
6#ifndef NEXUS_OS_FREERTOS_USER_H
7#define NEXUS_OS_FREERTOS_USER_H
8
9#include <stdint.h>
10
11#ifdef __cplusplus
12extern "C" {
13#endif
14
16#define NX_FREERTOS_USER_CODE __attribute__((section(".nexus_user_text")))
18#define NX_FREERTOS_USER_DATA __attribute__((section(".nexus_user_data")))
20#define NX_FREERTOS_PRIVILEGED_DATA \
21 __attribute__((section("privileged_data"), aligned(8)))
22
30
38
39#ifdef __cplusplus
40}
41#endif
42
43#endif /* NEXUS_OS_FREERTOS_USER_H */
#define NX_FREERTOS_USER_CODE
Explicitly reviewed unprivileged executable code section.
uint32_t nx_freertos_user_ticks(void)
Read the kernel's wrapping 32-bit tick counter through SVC.
void nx_freertos_user_delay(uint32_t ticks)
Delay the calling user task through the real MPU SVC.