Updated by Paul Menzel 8 months ago
Thank you for reporting this issue. Does booting with `'tsc=unstable` also work? Please the coreboot log messages for example by running `cbmem -1`.
Back