YH> How about remove the soft_reset_x in cache_as_ram_auto.c?
That indeed got it to boot, but the HTX card doesn't show up in lspci in Linux, so it's still not coming up quite right. Any more ideas to try? I'm thankful for your help and happy to keep banging on it as long as you are. :)
-mcq