diff --git a/doc/tutorial.md b/doc/tutorial.md
index 57e25f0..132f1b8 100644
--- a/doc/tutorial.md
+++ b/doc/tutorial.md
@@ -221,11 +221,12 @@ bs_explorer> jtag_open 1
 bs_explorer> jtag_autoinit
 bs_explorer> bscan_load_bitstream 0 bscan_proxies/bscan_spi_xcku040.bit
 bs_explorer> bscan_jedec 0
-JEDEC ID: 20 XX XX  (manufacturer 0x20, device 0xXXXX)
+JEDEC ID: 20 BB 19  (manufacturer 0x20, device 0xBB19)
 ```
 
-(The exact device bytes depend on the part fitted; on the KCU105 the
-manufacturer byte should read `0x20` = Micron.)
+(Validated on a KCU105: `0x20` = Micron, `0xBB19` = MT25QU256, the
+board's 1.8 V 256 Mbit config flash. Other boards will show different
+device bytes.)
 
 `bscan_load_bitstream` runs JPROGRAM → CFG_IN → shift → JSTART, which
 **reconfigures the FPGA fabric**: the design currently running on the