TI Cortex-M4 with hard FP Object Size Benchmarks

Target Platform: ti.platforms.tiva:TM4C123GH6PM:1

Tool Chain Version: 18.12.2

BIOS Version: bios_6_76_01_11_eng_k3

XDCTools Version: xdctools_3_55_01_20_core_eng

Object Name	Size
Hwi	56
Swi	64
Task	120
Semaphore	40
GateMutex	48
Clock	48
POSIX Pthread	208
POSIX Semaphore	28
POSIX Mutex	8
POSIX Timer	72

All sizes are in 8-bit bytes

See the SYS/BIOS User’s Guide for more information regarding how interrupt latency is calculated.