Verifying Timing in Undocumented Multicore Processors | Hacker News Reader