Hello! I have updated my genode-rockchip to include RK3399. Unfortunately none of the targets starts using Genode from git. They doesn't survive the jump from bootstrap/ctr0 to bootstrap/init.
https://github.com/mickenx/genode-rockchip Michael _______________________________________________ users mailing list -- users@lists.genode.org To unsubscribe send an email to users-le...@lists.genode.org Archived at https://lists.genode.org/mailman3/hyperkitty/list/users@lists.genode.org/message/L5SJSCSEFRHO3L2AD7SX5JBJ3BM3VSVC/
