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 < [email protected]> 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 > [email protected] > https://sel4.systems/lists/listinfo/devel > >
_______________________________________________ Devel mailing list [email protected] https://sel4.systems/lists/listinfo/devel
