Tutorial: Install OpenBSD on ROCK64 media board
#21
I have updated the tutorial for OpenBSD 6.7.

https://github.com/krjdev/rock64_openbsd

Biggest change:
- add official solution to install OpenBSD (Using idbloader.img and u-boot.itb).

Please can somebody proof-read my tutorial?

EDIT:
I have also build idbloader.img and u-boot.itb.

Used U-Boot version:

Code:
$ git-describe
v2020.07-rc2-194-gb0b13f4114
$


Used version ATF version:

Code:
$ git-describe
v2.3-55-gf1a1653ce
$

The images can be found here:


https://github.com/krjdev/rock64_openbsd...loader.img
https://github.com/krjdev/rock64_openbsd...u-boot.itb
  Reply
#22
Hi,

I have updated the tutorial for OpenBSD 6.8 and there another fixes:
- Update to U-Boot v2021.01
- Add a U-Boot script for enabling one of the USB-port (This is a workaround as soon as the OpenBSD developers fix this issue.)
- The steps should be correct yet. The device-tree file has been overwritten by the OpenBSD Installer. Now the step is after installing OpenBSD.
- Fix wrong wiring image (USB-UART-TTL).
Code:
/* Beware of bugs in the above code; I have only proved it correct, not tried it */
 Original quote by Donald E. Knuth
  Reply
#23
Just also added a few (initial) BASH scripts for downloading GCC for AArch64 from the ARM homepage, build ARM Trusted Firmware and build U-Boot. You can skip the first steps in the tutorial with these scripts. Smile 

I have tested the BASH scripts. They works on my system (openSUSE Leap 15.2), but if they fails on your systems, please give a feedback.
Code:
/* Beware of bugs in the above code; I have only proved it correct, not tried it */
 Original quote by Donald E. Knuth
  Reply


Possibly Related Threads…
Thread Author Replies Views Last Post
  OpenBSD 6.7 microSD card image krjdev 4 2,775 05-31-2020, 12:46 PM
Last Post: krjdev
  Rock64 ethernet not working during install OpenBSD Enig123 4 1,781 05-25-2020, 02:29 PM
Last Post: Enig123
Information NetBSD for Rock64 Luke 4 3,379 01-14-2020, 10:19 PM
Last Post: fmotsch
  OpenBSD: GPIO with the I2C device PCF8574(A) krjdev 0 1,637 08-09-2018, 06:41 AM
Last Post: krjdev
  AMENDED: OpenBSD, GigE Adapters/Chipsets, and ROCK64 STEREO AUDIO DAC ADD-ON BOARD jovval 1 1,541 08-07-2018, 02:44 AM
Last Post: krjdev

Forum Jump:


Users browsing this thread: 1 Guest(s)