Chris S csarn

Abstract

This is a full guide for people who wanted to setup Windows 10/11 VM with QEMU/KVM hypervisor for laptops that configured with hybrid graphics card like Intel/AMD + NVIDIA. This process will take about 1 to 2 hours, depending on your system's performance.

There is another comprehensive guide you can follow here (shoutout to asus-linux team). It is more up-to-date than mine. I'll probably incorporate those information to my guide, but you are welcome to use this one as a reference!

Before we proceed:

This guide is exclusively for Fedora because this distro is quite different to set up than other distro such as Arch. I would say Arch is easier to setup than Fedora, but sometimes your prefer Fedora than Arch in terms of its usage & features.
This tutorial mostly focus on laptops with NVIDIA Optimus MUXed configuration when dGPU (dedicated GPU) can connect directly to HDMI/DP output. If in doubt, sea

Getting QEMU

The mainline release of QEMU includes working simulation of Tricore. Both TC1.3 and TC1.6 CPU instruction sets are supported. No peripherals are implemented.

However, the mainline QEMU's "triboard" based machine specification is insufficient for most ECU use cases as it does not define the correct memory regions or aliasing.

I have an example of setup for Simos18 here: https://github.com/bri3d/qemu/tree/tricore-simos18 . The kernel load code (and constants) as well as the hardcoded entry point are actually unnecessary with the use of the QEMU "loader" device, documented below.

So, to get started, first we simply build QEMU for Tricore: ./configure --target-list=tricore-softmmu && make . You should now have a qemu-system-tricore binary, provided your dependencies were set up correctly (the QEMU documentation is good for this).

VFIO Setup on NixOS

Disclaimer: Nobody else tested my setup so far, so this is a "works on my machine" scenario. I am not responsible for anything you break on your machine (although I'd not expect much harm).

Hardware

My system has the following hardware:

Board: ASRock X570 Pro4

Method for Emulating Higher-Kinded Types in Rust

Intro

I've been fiddling about with an idea lately, looking at how higher-kinded types can be represented in such a way that we can reason with them in Rust here and now, without having to wait a couple years for what would be a significant change to the language and compiler.

There have been multiple discussions on introducing higher-ranked polymorphism into Rust, using Haskell-style Higher-Kinded Types (HKTs) or Scala-looking Generalised Associated Types (GATs). The benefit of higher-ranked polymorphism is to allow higher-level, richer abstractions and pattern expression than just the rank-1 polymorphism we have today.

As an example, currently we can express this type:

	# For recent versions of Ubuntu:
	- https://www.pugetsystems.com/labs/hpc/ubuntu-22-04-server-autoinstall-iso/

	# Docs:
	- https://wiki.ubuntu.com/FoundationsTeam/AutomatedServerInstalls
	- https://wiki.ubuntu.com/FoundationsTeam/AutomatedServerInstalls/ConfigReference
	- https://cloudinit.readthedocs.io/en/latest/topics/datasources/nocloud.html
	- https://discourse.ubuntu.com/t/please-test-autoinstalls-for-20-04/15250/53

	# Download ISO Installer:

	/// https://gist.github.com/edmundsmith/855fcf0cb35dd467c29a9350481f0ecf

	struct Forall;

	trait Unplug {
	type F;
	type A;
	}

	trait Plug<A> {

	#!/usr/bin/env bash

	mountSnapshots () {
	mkdir -p "/mnt/$ZFSSNAPSHOTNAME"

	mount -t zfs "$ZFSSNAPSHOTBASE@$ZFSSNAPSHOTNAME" "/mnt/$ZFSSNAPSHOTNAME"

	while read -r line
	do
	MOUNTPATH=$(echo "$line" \| sed "s/$ESCAPEDZFSSNAPSHOTBASE\///" \| sed "s/@$ZFSSNAPSHOTNAME//")

	# /etc/apt/apt.conf.d/30detectproxy:

	# Fail immediately if a file could not be retrieved. Comment if you have a bad
	# Internet connection
	Acquire::Retries 0;

	# undocumented feature which was found in the source. It should be an absolute
	# path to the program, no arguments are allowed. stdout contains the proxy
	# server, stderr is shown (in stderr) but ignored by APT
	Acquire::http::ProxyAutoDetect "/etc/apt/detect-http-proxy";

	<!DOCTYPE html>
	<html>
	<head>
	<link rel="stylesheet" href="http://cdn.leafletjs.com/leaflet-0.7.3/leaflet.css" />
	<script src="http://cdn.leafletjs.com/leaflet-0.7.3/leaflet.js"></script>
	<style>
	body { padding: 0; margin: 0; }
	html, body, #map { height: 100%; }
	</style>
	</head>

	/**
	* Retrieves all the rows in the active spreadsheet that contain data and logs the
	* values for each row.
	* For more information on using the Spreadsheet API, see
	* https://developers.google.com/apps-script/service_spreadsheet
	*/
	function readRows() {
	var sheet = SpreadsheetApp.getActiveSheet();
	var rows = sheet.getDataRange();
	var numRows = rows.getNumRows();