I see you already visited https://review.coreboot.org/c/coreboot/+/30762

I wuold rather fail build-time here. In case TSC_MONOTONIC_TIMER=y you get div-by-zero in delay_tsc.c with the weak implementation, but seems like it is behind three different Kconfig options if that happens.

View Change

To view, visit change 31202. To unsubscribe, or for help writing mail filters, visit settings.