05:52 <thejpster[m]> <dngrs[m]> the [issue discussion](https://github.com/rust-lang/rust/issues/131894) is quite something

05:52 <thejpster[m]> It notes that on some systems the hypervisor cannot read the guest memory. So it couldn’t manually emulate the instruction even if it wanted to.

05:53 <whitequark[cis]> right, the execute-only feature

05:53 <whitequark[cis]> probably also whatever arm's version of SEV is called

05:54 <whitequark[cis]> it's still cursed but i have to concede that the motivation is legitimate. i guess now we have to consider MMIO as a part of the ABI?

06:36 <thejpster[m]> Rust has no mechanism for that though

06:37 <thejpster[m]> It knows about function calls and types with special rules, but not loads and stores. So it has to be written in assembly, which is what safe-mmio does.

06:48 <whitequark[cis]> yeah I know, I meant "we" as in "the community of compiler devs"

06:48 <whitequark[cis]> since this problem isn't going away

08:32 <Socke> how can I use probe-rs to flash the esp32c3 with a different partition table?

08:32 <Socke> probe-rs run seems to only accept the elf binary

08:33 <Socke> I can come up with something like espflash flash --partition-table=.. target/... && probe-rs attach target/... but that seems... long :D

08:34 <Socke> (and also I cannot put it as a runner into the .cargo/config.toml)

08:34 <DnielBuga[m]> Socke: `--idf-partition-table`

08:35 <Socke> DnielBuga[m]: nice! thanks!

08:36 <Socke> oh... I skipped the "DOWNLOAD CONFIGURATION" section when reading through the help because I thought "no, I want to upload" m(

08:36 <Socke> well :D

08:37 <DnielBuga[m]> yeah if you have two options to name something, both will be used 😅

08:42 <Socke> is it expected, that I sometimes loose log messages logged through the rtt_target crate? they just don't seem to show up, especially when I have long messages. is that a bug?

08:44 <DnielBuga[m]> if you log a lot and the rtt buffer gets full, then yes, probe-rs will not set RTT channels to block automatically

08:44 <DnielBuga[m]> except for defmt

10:10 <Socke> can I somehow set them to block or do I have to use defmt?

10:35 <thejpster[m]> https://github.com/rust-embedded/cortex-m/blob/0aa7b9023474ea04df1167125e90e9922ae8523f/cortex-m-rt/link.x.in#L147... (full message at <https://catircservices.org/_irc/v1/media/download/ARJ9YlqvlTbupHNz8xLQy37BIrcsaJWnw9K11pXRYt7Wiy65grz4Q8jm56h2x9mLGaS2WVanavkmg3RgXRlm2ES_8AAAAAAAAGNhdGlyY3NlcnZpY2VzLm9yZy9oTWN1cFlOQXlNRW5naHhUWU9ZQ0NRS1A>)

10:36 <thejpster[m]> Ugh... (full message at <https://catircservices.org/_irc/v1/media/download/ATgx00TVv9aLttHa3NdZexRzeL8LAyq9C3vJ3dwcUX-nPAdQzQ5XsrP_zLYdIkMYv94kcNRChW48U6C-88-ce_y_8AAAAAAAAGNhdGlyY3NlcnZpY2VzLm9yZy9tbkphVXRxYVhrVWJ4am92Q0doUnpkVWk>)

10:55 <az1[m]> Socke: yeah, you can set channels to blocking mode. it should be in the rtt-target docs.

10:56 <Socke> okay thanks :)

10:59 <az1[m]> However I think probe-rs sets defmt channels to block by default.

10:59 <az1[m]> You can change that behavior on the command line.

13:23 <thejpster[m]> Yeah that .gnu.sgstubs thing is an LLD issue. arm-none-eabi-ld is happy with the script as written.

13:24 <diondokter[m]> Yup, I had discovered that in the past as well 🙃

13:24 <thejpster[m]> ugh

13:37 <thejpster[m]> is this an LLD bug?

14:44 <RobinMueller[m]> Hi!

14:44 <RobinMueller[m]> I recently created a workshop with the intention to teaching Embedded Rust + embassy to students and employees at my workplace using a micro:bit v2. feedback so far was very positive, and everything is open source :)

14:44 <RobinMueller[m]> There is also a dedicated multitasking exercise showing how to use the interrupt executor and the various IPC mechanisms. The workshop book can be found here: https://robamu.github.io/embedded-workshop/book/introduction.html

14:54 <Socke> az1[m]: unfortunately didn't find anything in the probe-rs help to put the channel into blocking mode

15:11 <dngrs[m]> Socke: there's also a [probe-rs](https://matrix.to/#/%23probe-rs:matrix.org) room, maybe some additional folks over there that can help

15:56 <thejpster[m]> OK, the magic you need to use .gnu.sgstubs on LLD with our linker script is:... (full message at <https://catircservices.org/_irc/v1/media/download/AZfH0Yq7h81aDUUdBcLkVrkHeuqgKHCgnBzyPA0weFK6JELnR4c1TNnFilso6GSCb-hvDuHM0HqJqtgGUj8xs8O_8AAAAAAAAGNhdGlyY3NlcnZpY2VzLm9yZy9lUlRTc0FXRnRxV1phR0VKV2FlRWNKVEk>)

18:57 <az1[m]> Socke: You might have to build from git until 0.32 is released.