microkit icon indicating copy to clipboard operation
microkit copied to clipboard

Published 20 hours ago • verified publisher icon seL4

Add support for Radxa Rock3b board

Open JDuchniewicz opened this issue 3 weeks ago • 2 comments

JDuchniewicz avatar Nov 13 '25 01:11 JDuchniewicz

This needs to be redone on the loader changes. It should appear in uart.c/uart.h instead of loader.c.

midnightveil avatar Nov 13 '25 01:11 midnightveil

This needs to be redone on the loader changes. It should appear in uart.c/uart.h instead of loader.c.

Fixed already, should probably start rebasing locally first.

JDuchniewicz avatar Nov 13 '25 01:11 JDuchniewicz