Re: Porting to ARMv8 (board, qemu, etc.)

2018-02-20 Thread Jonathan Gray
On Tue, Feb 20, 2018 at 08:29:19PM +1100, Mathew McBride wrote: > On 13/01/2018 5:26 PM, Jonathan Gray wrote: > > On Thu, Jan 11, 2018 at 03:40:01PM +0100, Karel Gardas wrote: > > > > > > Hello, > > > > > > I'd like to help a bit with GHC work on OpenBSD and would like to give it > > > a try > >

Re: Porting to ARMv8 (board, qemu, etc.)

2018-02-20 Thread Mathew McBride
On 13/01/2018 5:26 PM, Jonathan Gray wrote: On Thu, Jan 11, 2018 at 03:40:01PM +0100, Karel Gardas wrote: Hello, I'd like to help a bit with GHC work on OpenBSD and would like to give it a try to port GHC to ARMv8. GHC is a beast so I assume I'll need machine/emulator with 4GB RAM at least. I'

Re: Porting to ARMv8 (board, qemu, etc.)

2018-01-30 Thread Karel Gardas
On Mon, 29 Jan 2018 14:14:53 +0100 Patrick Wildt wrote: > I think those random segfaults might even be visible with qemu running > on an x86 machine. I'm not surprised. I see a lot of random segfaults in qemu aarch64 on amd64/obsd, but then I'm quite curious why do you expect the same on basic

Re: Porting to ARMv8 (board, qemu, etc.)

2018-01-29 Thread Patrick Wildt
On Mon, Jan 29, 2018 at 02:14:53PM +0100, Patrick Wildt wrote: > On Mon, Jan 29, 2018 at 12:07:50PM +0100, Artur Pedziwilk wrote: > > > > > > > On 11 Jan 2018, at 15:40, Karel Gardas wrote: > > > > > > - cloud/kvm solution. There are several cloud provides already > > > selling/supporting Cavi

Re: Porting to ARMv8 (board, qemu, etc.)

2018-01-29 Thread Patrick Wildt
On Mon, Jan 29, 2018 at 12:07:50PM +0100, Artur Pedziwilk wrote: > > > > On 11 Jan 2018, at 15:40, Karel Gardas wrote: > > > > - cloud/kvm solution. There are several cloud provides already > > selling/supporting Cavium ThunderX > > and for quite cheap money. Anyone has a luck with this solut

Re: Porting to ARMv8 (board, qemu, etc.)

2018-01-29 Thread Artur Pedziwilk
> On 11 Jan 2018, at 15:40, Karel Gardas wrote: > > - cloud/kvm solution. There are several cloud provides already > selling/supporting Cavium ThunderX > and for quite cheap money. Anyone has a luck with this solution? I guess > OpenBSD would need to run on > qemu-system-aarch64 first to su

Re: Porting to ARMv8 (board, qemu, etc.)

2018-01-14 Thread Karel Gardas
Christian, thanks for your email. As my experience with qemu are not that lucky, I'm afraid hardware way seems to be pretty natural. Also I'm glad SoftIron provides cheaper system (1000) than their rack-mounted 3000. Yes, I agree that the 1000 is out-dated, abandoned by AMD itself and probabl

Re: Porting to ARMv8 (board, qemu, etc.)

2018-01-14 Thread Karel Gardas
Jonathan, thanks a lot for your advice with Qemu. I've used EDK2 way and was able to install openbsd 6.2-current right from the distributed miniroot62.fs It all looked very promising, but once I booted to the installed OBSD I've seen several crashes. Mainly perl related. Perl crashes also a

Re: Porting to ARMv8 (board, qemu, etc.)

2018-01-12 Thread Jonathan Gray
On Sat, Jan 13, 2018 at 05:26:44PM +1100, Jonathan Gray wrote: > On Thu, Jan 11, 2018 at 03:40:01PM +0100, Karel Gardas wrote: > > > > Hello, > > > > I'd like to help a bit with GHC work on OpenBSD and would like to give it a > > try > > to port GHC to ARMv8. GHC is a beast so I assume I'll need

Re: Porting to ARMv8 (board, qemu, etc.)

2018-01-12 Thread Jonathan Gray
On Thu, Jan 11, 2018 at 03:40:01PM +0100, Karel Gardas wrote: > > Hello, > > I'd like to help a bit with GHC work on OpenBSD and would like to give it a > try > to port GHC to ARMv8. GHC is a beast so I assume I'll need machine/emulator > with 4GB RAM at least. I'm curious what you guys are usin

Re: Porting to ARMv8 (board, qemu, etc.)

2018-01-12 Thread Christian Weisgerber
On 2018-01-11, Karel Gardas wrote: > I'd like to help a bit with GHC work on OpenBSD and would like to give it a > try > to port GHC to ARMv8. GHC is a beast so I assume I'll need machine/emulator > with 4GB RAM at least. I'm curious what you guys are using for running all > those > ARMv8 packa