Been looking into L4’s specifications again for reasons, and the thing that looks odd to me is that while there’s certainly lots more hype around it in recent years, the most recent API spec I could find is x.2 r7 from the pre-hype era.

And yes, it’s been vibrant. There’s a paper from 2016 (again 3 years old!) describing what worked and what didn’t, and how various L4 implementations evolved their design (thankfully pointed out by one of its owners last year), but apparently no attempt to formalize any of that stuff.

Ich habe mittlerweile wohl schon alle politischen Vereine in Babenhausen rund gemacht, weil sie meinten, “Keine Werbung” auf dem Briefkasten gelte nicht für sie. Heute waren die “Grünen Babenhausen” dran: Hochglanzgedöns über irgendetwas wo auch eine Coverband (eine Rolle) spielt.

Ich bezweifle ja, dass das Hochglanzgedöns sonderlich umweltfreundlich ist (darf das überhaupt in die Papiertonne?). Es ist auf alle Fälle nicht wählerfreundlich (und darf nicht in meinen Briefkasten) und daher habe ich, was ich 2017 der CDU geschrieben habe, an die Partei angepasst, die Links aktualisiert und dem Ortsverband (V.i.S.d.P) zukommen lassen.

Nachdem mein erster Versuch mit Tomaten nicht so recht gefruchtet hat, hab ichs nochmal probiert. Vorgestern war noch kaum etwas zu sehen, gestern war es schon soweit, dass ich sie umtopfen konnte:

I’m using Mailu for my personal domains. It’s a collection of docker containers that provides a full mail package with SMTP, IMAP, Webmail and a web-based admin frontend.

For coreboot.org we needed some alternative to its home-grown 15 years old mail server setup, and naturally I looked into using Mailu for that purpose. The only complication is that coreboot.org was using mailman for mailing list management.

Mailman 2 (as used until December) isn’t very suitable when trying to use it with a mail server on a different system (or docker container as it were with Mailu), so I also checked out converting the lists to Mailman 3, for which there are great docker containers: I only needed to combine both sets of containers in a single coherent package. This article documents how to do that.

In my attempt to avoid overloading my poor new Pinebook (some cheap arm64 laptop) with builds, I tried setting up a build environment on my more powerful x86-64 based machines.

For consistency I’m looking for a Debian package builder (since the machine is running Debian), and I know that pbuilder is a reasonable tool for that purpose. The only complication is making it aware of other architectures.

There’s some machinery already prepared to run binaries for other architectures using the qemu userspace emulators, and while this sometimes creates issues, it’s a much more comfortable and faster environment than a fully emulated system.

Bekannte haben mir heute davon berichtet, dass ein Video auf einer großen Videoplattform im Internet die Runde macht, dessen Autor sich darin über das Verfassungsreferendum auslässt, das nächste Woche zusammen mit der Landtagswahl in Hessen stattfindet.

Ich habe nicht vor, dieses Video zu verlinken, um dem Unsinn nicht noch mehr Aufmerksamkeit zu verleihen. Der Kanal gehört einem “Kai” aus der niedersächsischen Landeshauptstadt Hannover, der dem Anschein nach selbst in die Kamera spricht. Wer es genau wissen will, sollte damit genügend Hinweise erhalten haben, um sich selbst ein Bild machen zu können.

Immer wieder gibt es Äußerungen im Internet, dass in Deutschland ja keine Trennung von Staat und Kirche herrsche, weil der Staat die Kirchensteuer eintreibt. Und wie das mit Äußerungen im Internet so ist…

“Ich kann nicht ins Bett, da redet jemand Stuss im Internet!” (Quelle)

Eine ausführliche Erklärung der Zusammenhänge findet sich beim Legal Tribune Online, aber nicht jeder will sich durch die juristischen Details seit der Weimarer Verfassung kämpfen, daher hier ein etwas anderer Erklärungsansatz:

Ich hatte vor 4 Jahren schon einmal beschrieben, wie sich als Hagener Student eduroam verwenden lässt. Seitdem verwende ich auch privat vor allem Chromebooks, auf denen das etwas einfacher geht (keine Zertifikate herunterladen und all der Schnickschnack). Daher nun eine Anleitung im Bild:

1. In die Einstellungen gehen

   

2. WLAN auswählen und auf “Konfigurieren” klicken

   

3. die im Bild gelb markierten Werte wie folgt ausfüllen:

• EAP-Methode: EAP-TTLS

• EAP-Phase 2-Authentifizierung: PAP

• Identität: qMatrikelnummer@fernuni-hagen.de

  …

Recently I got into UEFI (TianoCore) development. One of UEFI’s properties is that a part of it survives the OS load and remains resident to provide a limited set of firmware services to the OS.

Its predecessor, PCBIOS, provided software interrupt services that ran in real-mode - with the effect that every operating system since about 1994 had to switch back to that mode if it wanted to make use of these services. Most didn’t, so they simply ignored them and implemented those features by themselves, which was usually faster and more robust, too.

Nachdem schon SPD und AfD ihren Papiermüll in meinem Briefkasten abgeladen haben, obwohl darauf deutlich sichtbar “Keine Werbung” steht, hat nun auch die CDU bewiesen, was sie von Recht und Ordnung hält, wenn es sie selbst betrifft. Und auch diesmal gab es eine Mail an den Kreisverband:

An die Wahlwerber der Law-and-Order Partei,

soeben habe ich einen nicht persönlich adressierten Werbefetzen für Frau Lips aus meinem Briefkasten in Babenhausen gezogen. Dieser Briefkasten weist einen gut sichtbaren Aufkleber “Keine Werbung” auf.

…