#ifndef LAB_FREESTANDING_STDLIB_H
#define LAB_FREESTANDING_STDLIB_H

/*
 * The selected FreeRTOS sources include <stdlib.h> for standard types, but the
 * configuration used by this card does not call hosted stdlib functions.
 * GCC's freestanding headers provide size_t through <stddef.h>.
 */
#include <stddef.h>

#endif