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