Colin S. Gordon csgordon

Linux Compat

I roughly followed the directions I've used for years (https://www.micski.dk/2021/12/21/install-ubuntu-base-system-into-freebsds-linux-binary-compatibility/), with a few changes:

I put the installation at /compat/debian (and consequently, renamed the RC script and updated the text accordingly)
I installed Debian Trixie (specify trixie for the distribution instead of the Ubuntu variant)

This sets up a basic Debian chroot environment, but importantly it also arranges for various /dev entries to be populated within the chroot,

I've gathered information primarily from:

These instructions are closest to the first link above, but differ in important ways:

Available Images

Official Radxa Builds: https://github.com/radxa-build/radxa-zero3/releases
Armbian: https://www.armbian.com/radxa-zero-3/

SD Card Boot

If you only want an SD card boot, burning an SD card as with classic (pre-5) Raspberry Pis and other SBCs is sufficient.

eMMC Boot

You first need to download and install different firmware, to tell the machine to boot from eMMC.

The Programming Systems Seminar is a seminar for discussing and presenting research in "programming systems," broadly construed, which includes at least programming languages, software engineering, compilers, and any work relevant to improving the design and construction of software.

The goals for the seminar are:

To stay up to date on developments in this (broad) area
To build some community among researchers (faculty and students) in related areas
To give students additional practice presenting research ideas, including presenting ideas they are more familiar with to those not in their own immediate research area

Installing OpenBSD 7.3-current on a VisionFive2

Here are some concise instructions for getting OpenBSD 7.3-current running on a StarFive VisionFive 2 (v1.3B, though from other reports referenced below, it sounds like the v1.2 boards can also be made to work).

You will need:

An SD card of at least 1GB
An eMMC module attached to the board (though see below for a variation that should work to install directly to sd card)
Internet access
A USB TTL serial adapter that supports 3.3V (some of these support multiple voltages, but if yours only supports other voltages and not 3.3 it will either not work or damage your board!)

Getting Help

Getting help with FreeBSD has been... interesting.

The best place to start is often the FreeBSD forums, where the question you may have has very often been answered in full. But this comes with some important caveats:

The forums explicitly state that if you're using a derivative (like GhostBSD) then the forum rules say to just not post there. This is on one hand understandable: derivatives in general can make wild changes (I've been around long enough to remember early Ubuntu users trying to get help from long-time Debian users.... even early Ubuntu had made major changes to the point where Debian users genuinely couldn't help). And certainly there are some FreeBSD derivatives that have made major changes, like helloSystem and ravynOS, not to mention whatever sourcery NomadBSD has done to filesystem mounting. On the other hand, GhostBSD seems (famous last words) to have made rather minimal changes

	\<html:link>[rel]{stylesheet}[href]{https://cdnjs.cloudflare.com/ajax/libs/highlight.js/11.11.1/styles/dark.min.css}
	\<html:script>[type]{module}{
	import hljs from 'https://cdnjs.cloudflare.com/ajax/libs/highlight.js/11.11.1/es/highlight.min.js';
	import ocaml from 'https://cdnjs.cloudflare.com/ajax/libs/highlight.js/11.11.1/es/languages/ocaml.min.js';
	hljs.registerLanguage('ocaml', ocaml);
	hljs.highlightAll();
	}
	\p{Now we can syntax highlight some code}
	\<html:pre>{\<html:code>[class]{language-ocaml}{let id x = x;;}}

	[language-server.texlab]
	config.texlab = { build = {onSave = true,args=["-pdf", "--shell-escape", "-interaction=nonstopmode", "-synctex=1", "%f"]} }

	[[language]]
	name = "latex"
	auto-format = false
	scope = "source.tex"
	file-types = ["tex"]
	comment-token = "%"
	indent = { tab-width = 2, unit = " " }

	We're no strangers to love
	You know the rules and so do I (do I)
	A full commitment's what I'm thinking of
	You wouldn't get this from any other guy
	I just wanna tell you how I'm feeling
	Gotta make you understand
	Never gonna give you up
	Never gonna let you down
	Never gonna run around and desert you
	Never gonna make you cry

	#!/bin/sh
	# Secret is the -r option to cvt. The rest of these settings are based on that modeline.
	# Also important, for NVidia cards, this only works with the Noveau driver, not the proprietary one.
	# cvt -r 2560 1440
	xrandr --newmode "2560x1440R" 241.50 2560 2608 2640 2720 1440 1443 1448 1481 +hsync -vsync
	xrandr --addmode DP-1 "2560x1440R"
	xrandr --output DP-1 --mode 2560x1440R --rate 60