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