Tutorial: Install OpenBSD on ROCK64 media board
#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


Messages In This Thread
RE: Tutorial: Install OpenBSD on ROCK64 media board - by krjdev - 02-02-2021, 10:14 AM

Possibly Related Threads…
Thread Author Replies Views Last Post
  Netbds10.0 on Rock64 not booting Ingen 12 2,343 05-20-2024, 09:08 AM
Last Post: KC9UDX
  OpenBSD 6.7 microSD card image krjdev 4 9,911 05-31-2020, 12:46 PM
Last Post: krjdev
  Rock64 ethernet not working during install OpenBSD Enig123 4 7,834 05-25-2020, 02:29 PM
Last Post: Enig123
Information NetBSD for Rock64 Luke 4 9,455 01-14-2020, 10:19 PM
Last Post: fmotsch
  OpenBSD: GPIO with the I2C device PCF8574(A) krjdev 0 4,185 08-09-2018, 06:41 AM
Last Post: krjdev
  AMENDED: OpenBSD, GigE Adapters/Chipsets, and ROCK64 STEREO AUDIO DAC ADD-ON BOARD jovval 1 4,758 08-07-2018, 02:44 AM
Last Post: krjdev

Forum Jump:


Users browsing this thread: 6 Guest(s)