Re: Should/will OpenBSD support ODROID-C4 board? (ARM A55)

2020-08-06 Thread Janne Johansson
Den tors 6 aug. 2020 kl 18:40 skrev :

> Hardkernel, a Korean company, make an alternative to the Raspberry Pi, the
> latest being the 'Odroid C4', CPU manufactured by Amlogic (American).
> I owned an ODROID board in the past and was impressed with the hardware.
> However, the software support for Linux is majorly lacking, and so quite
> buggy
> (basic things like USB, ethernet) unless using their self-released
> old-patched-up kernels.
>
> But perhaps this is an opportunity for OpenBSD? I don't know how much work
> it is
> to port OpenBSD to an ARM board, or if Hardkernel do a good job of making
> this
> task easy. I noticed the ODROID-N2 is supported by OpenBSD, which would
> give
> an indication (but the N2 has an A73 and so Spectre bugs).
>

Well, it is somewhat sad if they can't even get decent code in mainline for
linux, which I assume
was their intended target OS, the chances of getting support (or code, ha!)
for OpenBSD
seems very slim, or getting decent docs (which if they existed would have
allowed linux
to run fine on them too?) for the stuff around the cpu.

So it might get to work, but I would probably not have my hopes up too much
if it already did not
make it on linux.

-- 
May the most significant bit of your life be positive.


Should/will OpenBSD support ODROID-C4 board? (ARM A55)

2020-08-06 Thread cipher-hearts
Hardkernel, a Korean company, make an alternative to the Raspberry Pi, the 
latest being the 'Odroid C4', CPU manufactured by Amlogic (American).

Unlike the Pi 4 which uses an A72, the C4 uses a CPU without Spectre bugs - the 
A55. This is an iteration onwards from the A53 which was used in the Pi 3 (and 
the later releases of the Pi 2, to get an idea of the age of the A53).

https://developer.arm.com/support/arm-security-updates/speculative-processor-vulnerability

It also comes with a good heatsink (Pi tends to overheat and underclock 
itself), 
and omits built-in wireless devices.

https://www.raspberrypi.org/blog/thermal-testing-raspberry-pi-4/

I owned an ODROID board in the past and was impressed with the hardware. 
However, the software support for Linux is majorly lacking, and so quite buggy 
(basic things like USB, ethernet) unless using their self-released 
old-patched-up kernels.

But perhaps this is an opportunity for OpenBSD? I don't know how much work it 
is 
to port OpenBSD to an ARM board, or if Hardkernel do a good job of making this 
task easy. I noticed the ODROID-N2 is supported by OpenBSD, which would give 
an indication (but the N2 has an A73 and so Spectre bugs).

Any thoughts?