<?xml version="1.0" encoding="utf-8" standalone="yes"?>
<rss version="2.0" xmlns:atom="http://www.w3.org/2005/Atom" xmlns:content="http://purl.org/rss/1.0/modules/content/">
  <channel>
    <title>Uefi on Het blog van Damien Dye</title>
    <link>https://blogs.damiendye.uk/nl/tags/uefi/</link>
    <description>Recent content in Uefi on Het blog van Damien Dye</description>
    <generator>Hugo</generator>
    <language>nl-NL</language>
    <lastBuildDate>Sun, 11 Oct 2026 17:00:00 +0100</lastBuildDate>
    <atom:link href="https://blogs.damiendye.uk/nl/tags/uefi/index.xml" rel="self" type="application/rss+xml" />
    <item>
      <title>De TSC rechtzetten als je firmware stuk is</title>
      <link>https://blogs.damiendye.uk/nl/hardware/sorting-tsc-when-your-firmware-is-broken/</link>
      <pubDate>Sun, 11 Oct 2026 13:30:00 +0100</pubDate>
      <guid>https://blogs.damiendye.uk/nl/hardware/sorting-tsc-when-your-firmware-is-broken/</guid>
      <description>Vier maanden lang gaf mijn ThinkPad E595 Linux bij elke boot één kern die drie seconden achterliep op de andere zeven, en de kernel verving de TSC door HPET. Waarom AMD-laptops dat in Linux niet kunnen herstellen, wat 40 bootlogs tonen en hoe tscsync de tellers in UEFI gelijkzet. Plus BIOS 1.30, tsc=nowatchdog en wat elke KVM-gast betaalt, gemeten.</description>
    </item>
  </channel>
</rss>
