Thanks Paulo,

If you need someone to test stuff on real aarch64 hardware just ping me. I
have both Windows 10 and Ubuntu here (under WSL2)

Best
Andre

On Tue, 23 Jun 2020 at 07:57, Paulo Matos <pmatos@linki.tools> wrote:

> Hi Andre,
>
> Work on this is ongoing - joint work with Jesse Alama. We have two ports
> being implemented in parallel: RISCV64 and AArch64. The RV64 is certainly
> more complete and I can almost bootstrap.
> I am slowly finishing other items of work that was doing in parallel to
> focus solely on this so I hope that we have a must quicker progress in the
> second half of the year.
>
> I will post updates once I have more.
>
> Paulo Matos
>
> On Thursday, 18 June 2020 at 20:57:40 UTC+2 an...@andregarzia.com wrote:
>
>> Some weeks ago, there was a post here about porting Chez to ARM64 and
>> thus enabling Racket CS to work on those platforms. I haven't heard
>> anything about it after that, doesn anyone here have any news? I use an
>> ARM64 machine as my daily driver (with Windows 10) and am very curious
>> about progress.
>>
>> Best
>> Andre
>>
>> --
>> http://www.andregarzia.com
>>
>> --
> You received this message because you are subscribed to the Google Groups
> "Racket Users" group.
> To unsubscribe from this group and stop receiving emails from it, send an
> email to racket-users+unsubscr...@googlegroups.com.
> To view this discussion on the web visit
> https://groups.google.com/d/msgid/racket-users/bf7a6166-cd8c-415e-aa85-8cc73dc10185n%40googlegroups.com
> <https://groups.google.com/d/msgid/racket-users/bf7a6166-cd8c-415e-aa85-8cc73dc10185n%40googlegroups.com?utm_medium=email&utm_source=footer>
> .
>


-- 
http://www.andregarzia.com

-- 
You received this message because you are subscribed to the Google Groups 
"Racket Users" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to racket-users+unsubscr...@googlegroups.com.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/racket-users/CAF3jwT%3DoMsha%2B-UvD6n-TTNaBV95aQZMCLjopi_pAQ%3D3BokWSA%40mail.gmail.com.

Reply via email to