24 Aug
2017
24 Aug
'17
5:05 p.m.
I will likely be working on a project soon where I will try to get it working on the ODROID-XU4. - John On Thu, Aug 24, 2017 at 6:51 AM, Robert VanVossen < Robert.VanVossen@dornerworks.com> wrote:
Hello,
Is Data61 or anyone else working on porting camkes-arm-vm to platforms other than the TK1?
Thank you,
Robbie VanVossen
DornerWorks, Ltd.
_______________________________________________ Devel mailing list Devel@sel4.systems https://sel4.systems/lists/listinfo/devel