kern: rework ARMv8-M context switch, fixing a bug? #1963
Merged
buildomat / build gimlet-d-lab
succeeded
Jan 16, 2025 in 19m 8s
Success!
The buildomat job ID is 01JHR7QJA30AP0N749RWNNN6PD
. Click here for more detailed status.
The job produced the following artefacts:
The requested job was completed.
Details
control: job assigned to worker 01JHR8G3CZ0NTKMSF0R218X3DX [factory aws, i-06d40cc616d5c98ee] (queued for 13 m 47 s)
...
task: starting task 0: "setup"
task: process exited: duration 21771 ms, exit code 0
...
task: starting task 1: "rust-toolchain"
task: process exited: duration 7625 ms, exit code 0
...
task: starting task 2: "authentication"
task: process exited: duration 5 ms, exit code 0
...
task: starting task 3: "clone repository"
task: process exited: duration 2499 ms, exit code 0
...
task: starting task 4: "build"
...
| flash: 0xb0100 (68%)
| ram: 0x5d100 (72%)
| sram1_mac: 0x4000 (25%)
| sram1: extern region (jefe, dump_agent)
| sram2: extern region (jefe, dump_agent)
| sram3: extern region (jefe, dump_agent)
| sram4: extern region (jefe, dump_agent)
| bank2: extern region (update_server)
| warning: memory allocation is sub-optimal
| Suggested improvements:
| kernel:
| ram: 5888 (currently 8192)
| + cp target/gimlet-d-lab/dist/default/build-gimlet-d-lab-image-default.zip /work/
| + touch /work/this_is_not_signed.txt
task: process exited: duration 247311 ms, exit code 0
|W| found 2 output files
|W| uploading: /work/build-gimlet-d-lab-image-default.zip (4997138 bytes)
|W| uploaded: /work/build-gimlet-d-lab-image-default.zip
|W| uploading: /work/this_is_not_signed.txt (0 bytes)
|W| uploaded: /work/this_is_not_signed.txt
Loading