@MartinW
The info you see in QEMU monitor are the values in the BARs which are encoded as reg properties in OF but the values aren't the same. Also from the output is looks like SmartFirmware allocates addresses for the BARs but does not map them, not sure this is normal and the OS shold map them later or SmartFirmware should take care of that. It does map some devices that it uses and maybe it would map the gfx card it the card rom did not crash? I don't know how this supposed to work.
As for getting the numeric values of the properties that the .properties command does not show because that uses the text representation instead I think the get-my-property word should do that but when I tried it did nothing. I think I now found out why. If you cd /pci/display and then try 'words' it shows nothing (at least with my test) so the device cannot be opened. So I've added an empty open word then got something back from get-my-property:
entering main read/eval loop...
ok " /pci/display" find-device
ok words
ok : open true ; \ if no open shows for words define empty open word for the device
ok " /pci/display" open-dev
ok .s \ open-dev returns ihandle
STACK: [0x0FC59FF8] 264609784
ok to my-self \ store ihandle to my-self for my-* words
ok " assigned-addresses" get-my-property
ok .s
STACK: [0x00000000] 0
[0x00000050] 80
[0x0FC0EBBB] 264301499
get-my-property is defined as
get-my-property ( name-str name-len -- true | prop-addr prop-len false )
so the 0 on the top of stach is false (that you can test with =0 if) and the other two values are prop-addr and prop-len that should contain the numbers but don't know how to decode them.
However just for testing with one card that you know what should have you could mot care for getting/decoding and changing the values just replace them with the values that should be there and see if that makes any change in AmigaOS.
Edit: The Sun docs are quite good but talk about writing FCode drivers to be put in the card ROM which might work slightly differently as I think there are some restrictions for code compiled to FCode but maybe the parts about what to put in reg and assigned-addresses properties and how to encode them are the same.