Couldn't find extension 'rocket' in shared library 'libcustomext.so'

[chenhychen]

Hi,

I tried to load the device tree blob of Rocket Chip generated by Chipyard to Spike but got the issue couldn't find extension 'rocket' in shared library 'libcustomext.so.

Here are the steps:

1. Compile the default Rocket Chip in Chipyard by make
2. Identify the corresponding dts file from generated-src/chipyard.harness.TestHarness.RocketConfig/chipyard.harness.TestHarness.RocketConfig.dts
3. Generate dtb file using : dtc -O dtb -o rc.dtb chipyard.harness.TestHarness.RocketConfig.dts
4. Load the dtb file to spike and check the spike configuration: spike --dtb=rc.dtb --dump-dts foo
   Then, the issue comes out.

The versions on my side:
Spike: de5094a1a901d77ff44f89b38e00fefa15d4018e
Chipyard: 1.13.0

Please let me know if I did something wrong.

Thank you.

[jerryz123]

You have to disable support for the Xrocket extension in rocket-chip. Spike does not model this extension.