diff options
author | Sebastian Huber <sebastian.huber@embedded-brains.de> | 2020-04-09 14:02:40 +0200 |
---|---|---|
committer | Sebastian Huber <sebastian.huber@embedded-brains.de> | 2021-03-19 15:20:00 +0100 |
commit | b0912ddb999651c4338f98f1d4b344b10996893d (patch) | |
tree | c86ebd47a1fdd9c48f95c9515ed598f6d3c8f2c4 | |
parent | deadb0acd455f82b7def951404dc203e4984939f (diff) |
build wkspace split
-rw-r--r-- | spec/build/cpukit/librtemscpu.yml | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/spec/build/cpukit/librtemscpu.yml b/spec/build/cpukit/librtemscpu.yml index a08cbb96e1..0d16cea304 100644 --- a/spec/build/cpukit/librtemscpu.yml +++ b/spec/build/cpukit/librtemscpu.yml @@ -1578,7 +1578,9 @@ source: - cpukit/score/src/watchdogtick.c - cpukit/score/src/watchdogtickssinceboot.c - cpukit/score/src/watchdogtimeslicedefault.c +- cpukit/score/src/wkspaceallocate.c - cpukit/score/src/wkspace.c +- cpukit/score/src/wkspacefree.c - cpukit/score/src/wkspaceisunifieddefault.c - cpukit/score/src/wkspacemallocinitdefault.c - cpukit/score/src/wkspacemallocinitunified.c |