Skip to content

Add extension_t csrs in reset(), not register_extension() #2600

Add extension_t csrs in reset(), not register_extension()

Add extension_t csrs in reset(), not register_extension() #2600

Test Spike build (Ubuntu)

succeeded Dec 1, 2024 in 8m 27s