Re: Raspberry Pi 4

i just commited everything i got for the raspberry pi 4.

sorry that this took so long. i was trying to get
the ethernet reliable but this has some bizzare issue
that i was unable to resolve.

http://code.9front.org/hg/plan9front/rev/889b634159e5
http://code.9front.org/hg/plan9front/rev/55d93e47a2de
http://code.9front.org/hg/plan9front/rev/686cdda01118
http://code.9front.org/hg/plan9front/rev/4dbf2522f668
http://code.9front.org/hg/plan9front/rev/db3e8d004b27
http://code.9front.org/hg/plan9front/rev/5afd2605d0f3
http://code.9front.org/hg/plan9front/rev/6e8b95bccec4
http://code.9front.org/hg/plan9front/rev/234f51ace8cd
http://code.9front.org/hg/plan9front/rev/406bef7018a8
http://code.9front.org/hg/plan9front/rev/386fe43162b4
http://code.9front.org/hg/plan9front/rev/f3966b67adc9

note, this is a arm64 kernel, but the drivers should be portable.

- interrupts, uart, multicore, graphics and /dev/reboot works
- pcie and xhci works
- genet works somewhat (good enougth for /dev/reboot netbooting) but
  causes bizzare 42 second bus stalls with bursty bidirectional
  ethernet traffic which hangs all gisb devices (pcie/xhci)

i'll write you the details and what i tried about that ethernet
issue offlist, maybe we can figure this out together.

--
cinap