Daniel Gomes Vargas dgv

Summary

Currently NuttX on Arm64 supports Generic Interrupt Controller (GIC) Versions 3 and 4: arm64_gicv3.c, arm64_gic.h. This PR adds support for GIC Version 2, which is needed by Pine64 PinePhone based on Allwinner A64 SoC.

This 64-bit implementation of GIC v2 is mostly identical to the existing GIC v2 for 32-bit Armv7-A (armv7-a/arm_gicv2.c, armv7-a/gic.h), with minor modifications to support 64-bit Registers (Interrupt Context).

arch/arm64/Kconfig: Under "ARM64 Options", we added an integer option ARM_GIC_VERSION ("GIC version") that selects the GIC Version. Valid values are 2, 3 and 4

A half-hour to learn Zig

This is inspired by https://fasterthanli.me/blog/2020/a-half-hour-to-learn-rust/

Basics

the command zig run my_code.zig will compile and immediately run your Zig program. Each of these cells contains a zig program that you can try to run (some of them contain compile-time errors that you can comment out to play with)

The repository for the assignment is public and Github does not allow the creation of private forks for public repositories.

The correct way of creating a private frok by duplicating the repo is documented here.

For this assignment the commands are:

Create a bare clone of the repository. (This is temporary and will be removed so just do it wherever.)

git clone --bare [email protected]:usi-systems/easytrace.git

These links no longer work. Springer have pulled the free plug.

Graduate texts in mathematics

duplicates = multiple editions

A Classical Introduction to Modern Number Theory, Kenneth Ireland Michael Rosen

Update (2019-05-06): The Broadcom wireless card in the MacBook Pro works and can be crammed into the Air.

Update (2015-12-04): This document used to be very lengthy as there were many manual steps required to get OpenBSD and Mac OS X working together through Boot Camp Assistant (BCA), which created a hybrid MBR and enabled a legacy BIOS emulation mode which older versions of Windows (and OpenBSD) required. Newer Macbooks stopped supporting older versions of Windows through BCA and now only support Windows 10 since it uses GPT and UEFI. However, now that newer versions of OpenBSD support GPT and UEFI, Boot Camp Assistant is no longer needed at all to boot OpenBSD.

macOS FileVault encryption and OpenBSD encrypted softraid on a Macbook Air/Pro

OpenBSD works pretty well on at least the Mid-2011 Macbook Air (A1370, SandyBridge) and Mid-2013 Macbook Air (Haswell). The new KMS code in 5.4 brings up the MBA's eDP display in 1366x768 with backlight

	OpenBSD 6.0-beta (GENERIC.MP-vmm) #5: Fri Jun 3 16:44:43 CEST 2016
	[email protected]:/usr/src/sys/arch/amd64/compile/GENERIC.MP-vmm
	real mem = 17024200704 (16235MB)
	avail mem = 16503730176 (15739MB)
	mpath0 at root
	scsibus0 at mpath0: 256 targets
	mainbus0 at root
	bios0 at mainbus0: SMBIOS rev. 2.8 @ 0xd7bfb000 (65 entries)
	bios0: vendor LENOVO version "N1FET38W (1.12 )" date 03/30/2016
	bios0: LENOVO 20FBCTO1WW

	# Demo http://ascii.io/a/3019

	# build
	gdbb () {

	# build with debug flags
	go build -gcflags "-N -l" -o out

	# make sure the build didn't fail
	if [ $? != 0 ]; then return; fi