This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
/* Summon the naturals */ | |
type Zero = 0; | |
type Succ<T extends Succ<any> | Zero> = { | |
next: T; | |
} | |
// Construct a few naturals. | |
type n0 = Zero; | |
type n1 = Succ<n0>; | |
type n2 = Succ<n1>; |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
2024-12-05: I have moved this information to a git repo which includes BIOS screenshots. | |
Please go here for all future updates: | |
https://github.com/theodric/kvm-vfio-notes | |
--------------------- | |
Notes on getting KVM VFIO working on my hardware: | |
- CPU: Ryzen 7 5700G | |
- MB: Biostar B550T-SILVER | |
- Host GFX: Ryzen 7 5700G iGPU |