Merge pull request #3154 from Dicklessgreat/main

Fix BDMA example for soundness

1 files changed, 9 insertions, 3 deletions

diff --git a/examples/stm32h7/src/bin/spi_bdma.rs b/examples/stm32h7/src/bin/spi_bdma.rs
index b2e941078..43fb6b41c 100644
--- a/examples/stm32h7/src/bin/spi_bdma.rs
+++ b/examples/stm32h7/src/bin/spi_bdma.rs
@@ -10,18 +10,24 @@ use embassy_executor::Executor;
 use embassy_stm32::mode::Async;
 use embassy_stm32::time::mhz;
 use embassy_stm32::{spi, Config};
+use grounded::uninit::GroundedArrayCell;
 use heapless::String;
 use static_cell::StaticCell;
 use {defmt_rtt as _, panic_probe as _};
 
 // Defined in memory.x
 #[link_section = ".ram_d3"]
-static mut RAM_D3: [u8; 64 * 1024] = [0u8; 64 * 1024];
+static mut RAM_D3: GroundedArrayCell<u8, 256> = GroundedArrayCell::uninit();
 
 #[embassy_executor::task]
 async fn main_task(mut spi: spi::Spi<'static, Async>) {
-    let read_buffer = unsafe { &mut RAM_D3[0..128] };
-    let write_buffer = unsafe { &mut RAM_D3[128..256] };
+    let (read_buffer, write_buffer) = unsafe {
+        RAM_D3.initialize_all_copied(0);
+        (
+            RAM_D3.get_subslice_mut_unchecked(0, 128),
+            RAM_D3.get_subslice_mut_unchecked(128, 128),
+        )
+    };
 
     for n in 0u32.. {
         let mut write: String<128> = String::new();