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-09 16:34:15 +0100 |
commit | f905c86d38be8fa033dd62f888f3859cca3deae1 (patch) | |
tree | df837dd31d1b8bd637cac91e8ea5236b3d03fdf8 | |
parent | 687db9f10d49a08977f44384d4f6b8105290a30c (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 |