Not that I am aware of, but there are machines I'd like to run sim / tests
on that can't run 32-bit binaries.

On Oct 31, 2017 01:59, "Fabio Utzig" <[email protected]> wrote:

> Hi Simon,
>
> Not AFAIK. Is there any MCU out there that is 64 bit?
>
> Cheers,
> Fabio Utzig
>
> On Mon, Oct 30, 2017, at 10:17 PM, Simon Ratner wrote:
> > Hi devs,
> >
> > Has anyone looked at building core for a 64-bit target?
> >
> > Obviously there is a lot of code right now that relies on the target
> > platform being 32-bit, including the sim target (e.g. `os_mempool`). Any
> > guesses at the amount of effort that would be involved, at least for the
> > sim compiler / unittests?
> >
> > Cheers,
> > simon
>

Reply via email to