RobTaylor[m] has quit [Quit: Idle timeout reached: 172800s]
<vancz>
something is screwed up with my vcd files
<vancz>
user error
<vancz>
ok so going by serv/bench/servant_tb.cpp , i guess what im doing with qemu is just a really big testbench
galibert[m] has quit [Quit: Idle timeout reached: 172800s]
_whitelogger has joined #prjunnamed
azonenberg has quit [Ping timeout: 260 seconds]
azonenberg has joined #prjunnamed
<whitequark[cis]>
zephyros seems to be ok? i've considered using it in my rust projects even, which is a high bar to clear for a C RTOS
<whitequark[cis]>
fusesoc is ... it's kind of held together with string and sticks and semi-unmaintained
_whitelogger has joined #prjunnamed
cr1901_ has quit [Read error: Connection reset by peer]
cr1901 has joined #prjunnamed
zyp[m] has joined #prjunnamed
<zyp[m]>
IME zephyr is a mixed bag; some parts are pretty nice and some of the APIs it provides are pretty awful
<zyp[m]>
we're kinda forced into zephyr at work since we're doing nrf stuff, and the only vendor supported BLE stack on the latest nrf chips is zephyr based
<zyp[m]>
so we're currently trialling doing rust on zephyr for a project, in the hopes that that'll give us a «best of both worlds» thing
DemiMarieObenou4 has joined #prjunnamed
<DemiMarieObenou4>
zyp[m]: Do you have enough docs to write the whole BLE stack from scratch?
<zyp[m]>
the nrf chips have documented radio registers, so technically I guess so
<DemiMarieObenou4>
Only half-joking here.
<whitequark[cis]>
that's usually a hard sell at commercial companies
<zyp[m]>
but yeah, unless somebody wants to pay us to do it, that's not gonna happen :)
<DemiMarieObenou4>
I’d like to see a full Rust BLE stack, or even better one in ATS/Rocq/etc (because BLE is a nightmare security-wise)