Add support for SiFive Premier P550

Open Ivan-Velickovic opened this issue 11 months ago • 1 comments

Draft since I have to write the timer driver. The serial driver is exactly the same as the one in https://github.com/seL4/util_libs/pull/167.

Feb 11 '25 05:02 Ivan-Velickovic

I believe this is ready for review now.

Mar 25 '25 06:03 Ivan-Velickovic

I see I have been too slow. Please fix issues in additional PR.

Jul 08 '25 10:07 Indanz

@Indanz thanks for the review, I won't get to it this week probably but I do intend on fixing everything you brought up.

Jul 10 '25 00:07 Ivan-Velickovic