Hello! My name is Joe Quigley, I found out about the project recently and want to start experimenting with it on a Rasberry Pi I have floating around. Because it uses a very similar ARMv6 CPU as the KZM-ARM11-01, am I correct in assuming it will work with that kernel?
-- --Joe Quigley
_______________________________________________ Devel mailing list [email protected] https://sel4.systems/lists/listinfo/devel
