Hello,
Is Data61 or anyone else working on porting camkes-arm-vm to platforms other than the TK1?
Thank you, Robbie VanVossen DornerWorks, Ltd.
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