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-04-19 15:59:40 +0200 |
commit | 004370df055131139c0fca52893a553c9eb66806 (patch) | |
tree | e7ef0eadeecc311403e161c6b627c4373b713d39 | |
parent | a007c47ff55c0fd33812e43bfe66141d47156ff9 (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 77bc4553c0..e52100efee 100644 --- a/spec/build/cpukit/librtemscpu.yml +++ b/spec/build/cpukit/librtemscpu.yml @@ -1572,7 +1572,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 |