Heapless memory pool #191

Merged

muellerr merged 3 commits from heapless-mem-pool into main

2024-05-22 13:16:30 +02:00

Author	SHA1	Message	Date
Robin Mueller	832250d211	minor improvements All checks were successful Rust/sat-rs/pipeline/pr-main This commit looks good Details	2024-05-22 12:55:50 +02:00
Robin Mueller	3c3b4349e8	that should do the job All checks were successful Rust/sat-rs/pipeline/pr-main This commit looks good Details	2024-05-21 19:48:56 +02:00
Robin Mueller	acf73e93b1	Introduce heapless memory pools Some checks failed Rust/sat-rs/pipeline/pr-main There was a failure building this commit Details	2024-05-21 18:31:19 +02:00