> On 12 Jul 2016, at 18:49, Kia <[email protected]> wrote: > > I'm done implementing the core part of the NTP algorithm and am working on > writing code to make it work as desired in a Mirage unikernel (and provide the > time to other code in the unikernel as desired). The code (like anything that > keeps time on a computer) uses a hardware timer/counter (like RDTSC or HPET) > -- > and because that's hardware-dependent, I need to make sure my code works on > both x86_64 and ARM. > > I have access to a x86_64 machine, but I need access to an ARM / ARM64 host > to make sure that everything works on that hardware as well -- what are my > options for running mirage unikernels on ARM/ARM64? >
Sounds like Mort has given you access to an arm64 box we have, but I'm also about to provision about 20 ARM32 nodes on Scaleway.com for our CI systems -- let me know if you would like the 21st node :) -a _______________________________________________ MirageOS-devel mailing list [email protected] https://lists.xenproject.org/cgi-bin/mailman/listinfo/mirageos-devel
