Re: [9front] PXE booting Rpi

[Daniel Morandini <danielmorandini@me.com>]

Hi people,
some updates (pi is still not getting my cmdline.txt args):

According to the UART logs, it looks like bootcode.bin is NOT
fetching the cmdline.txt file.

As soon as I do not know how and when this logs are emitted, I
double checked on the kernel side: In bcm, I added a “confdump”
function that dumps confname and confval values up to nconf as soon
as print is available, after the “bootargsinit” call in main.c:
empty.

I checked the Atag parsing code and it looks like we do not pass
the `if(parseatags(va, len) == 0 || parsedevtree(va, len) == 0`
line, hence no atag is parsed.

I compared miller’s bcm code and its logic seemed pretty similar
on this regard, I double checked by booting the rasp using his
kernel and indeed no configuration is parsed in that case too.

What I find wierd is that if I add the cmdline.txt file to
the sd card directly it is NOT read as well.

This is the contents of the file (xd -c cmdline.txt):
```
0000000   u  s  e  r  =  d  a  n \n
0000009
```

Do you have any idea? I’m at the “what the fuck” point :D

Cheers,
dan