Updated by Paul Menzel over 1 year 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