util_libs icon indicating copy to clipboard operation
util_libs copied to clipboard

Published 20 hours ago • verified publisher icon seL4

Add pine64 star64 platform

Open canarysnort01 opened this issue 1 year ago • 2 comments

This adds a timer and serial driver to libplatsupport. Co-developed with @Ivan-Velickovic.

Purpose: Ready to merge. Context: Needed to allow sel4test to run on star64. Testing performed: Tested with WIP sel4test for the star64 platform on pinetab-v hardware.

canarysnort01 avatar Aug 21 '23 15:08 canarysnort01

It should be noted that due to there being no current documentation on the JH7110 timer, details such as the register map are taken from the JH7110 timer Linux kernel patch which can be found here: https://patchwork.kernel.org/project/linux-riscv/patch/[email protected]/.

Ivan-Velickovic avatar Aug 21 '23 22:08 Ivan-Velickovic

It looks good, could you squash the commits?

axel-h avatar Aug 22 '23 20:08 axel-h