IRC channel logs
2024-03-18.log
back to list of logs
<belgin>i gave u-boot as an example because it's relatively easy to read the code <Pellescours>I’m wondering if it’s not already implemented in rumpkernel <Pellescours>yup, rumpkernel have a SD card driver. We just need to wire them and use them <azert>I think on netbsd it works like the following: obio0 at mainbus0; sdhc0 at obio0; sdmmc0 at sdhc0 <azert>There will be the issue that since it’s not on pci then either one will have to write an arbiter for whatever, or all the driver will need to be in the same userspace process <azert>Since the Hurd so far has only a pci arbiter <azert>Also, intuitively, netbsd is overenginnering over here <azert>And possibly the Hurd doesn’t want all the baggage <azert>mainbus is a placeholder. obio stands for on board io. <azert>If one can create shims for whatever is obio maybe through the hypothetical device tree translator that people discussed days ago maybe one can use rumpdisk for the sd card <azert>I was thinking in regards to your post on mastodon, that maybe if you have serial ports support, Hurd on aarch64 can have networking way before any work on device drivers gets done <azert>Then you will be able to connect remotely through ssh <azert>And even connect from the internet through the serial port <azert>Effectively using it as a network card <azert>Although limited to a few hundreds kilobits per second :(