06:43 <GeorgesP[m]> Hello, I was wondering, is there a way to have a std env on a cortex-A-like MPU (Rpi3/4/5 HW for exemple) with a pure rust underlying OS-like (no linux environment). A little bit like embassy but for std and more powerful MPU ???

08:23 <thejpster[m]> The only Rust OS kernel I know of is Redox and its userland has a libstd port.

08:23 <thejpster[m]> Espressif also did a libstd port for FreeRTOS but really it’s for ESP-IDF as FreeRTOS doesn’t have filesystems or networking.

08:23 <thejpster[m]> NuttX might be with a look. Or Zephyr I guess.

08:29 <thejpster[m]> s/with/worth/

08:57 <igiona[m]> James Munns

08:57 <igiona[m]> * @jamesmunns:beeper.com 🔥

08:57 <JamesMunns[m]> I saw that!

08:59 <M9names[m]> > FreeRTOS doesn't have filesystems or networking... (full message at <https://catircservices.org/_irc/v1/media/download/AaUX45AoyzZtPvqRKGbQVK4fUsYQ63EK2z2Rb27XO0wh9RLWTCSTcu03eWT1Z_5q5g49PrFqdAKofhxrfHvQH_u_8AAAAAAAAGNhdGlyY3NlcnZpY2VzLm9yZy9UY1VBdFZtVWpmUkdBZ3htRHVNcWxVd3o>)

11:34 <thejpster[m]> Fair. I think of FreeRTOS as just being the kernel, but definitely you can add other things on to make it a more complete product.

11:34 <thejpster[m]> https://www.freertos.org/Documentation/03-Libraries/02-FreeRTOS-plus/FreeRTOS-Plus/FreeRTOS_Plus_TCP/examples_FreeRTOS_simulator

11:34 <ivmarkov[m]> <M9names[m]> "> FreeRTOS doesn't have filesyst..." <- > <@9names:matrix.org> > FreeRTOS doesn't have filesystems or networking... (full message at <https://catircservices.org/_irc/v1/media/download/AcLubAAegikc8ui4VfEOKZpTCCGeLEdowJN_gOTB2qhTrLmjTWTsSXCYewpUSIvbPz_4RBKwxmQlqOiCnh_5re2_8AAAAAAAAGNhdGlyY3NlcnZpY2VzLm9yZy93WVNqRHJZTG1GdlRhVVpxTnZJdk9GYWg>)

11:35 <ivmarkov[m]> Apparently it is their own thing yeah...

11:38 <JamesMunns[m]> Oh interesting! I'm surprised it's not LwIP

11:47 <dirbaio[m]> Or smoltcp 😌

11:50 <JamesMunns[m]> I mean, not surprised it's not smoltcp for FreeRTOS :D

11:51 <dirbaio[m]> Yeah I was just joking :D

11:52 <ivmarkov[m]> Well, I guess somebody can always expose another, "freertos" target in Rust STD, which uses their own posix thread compat stack and their own TCP BSD sockets API and maybe their own FATFS lib. But that somebody is not going to be me :p

11:52 <ivmarkov[m]> Kind of a pointless excercise these days, I think...

11:55 <dirbaio[m]> They're aiming to do that with Zephyr :p