pamaury

Before (without minsize):

100083ca <udiv64_slow>:
udiv64_slow():
/proc/self/cwd/sw/device/lib/base/math.c:14
100083ca:                 1141                  addi    sp,sp,-16
100083cc:                 c622                  sw      s0,12(sp)
100083ce:                 4881                  li      a7,0
100083d0:                 4801                  li      a6,0
100083d2:                 4381                  li      t2,0

pamaury

diff --git i/sw/host/opentitanlib/src/bootstrap/eeprom.rs w/sw/host/opentitanlib/src/bootstrap/eeprom.rs
index 309c3cd3d1..147acf1a27 100644
--- i/sw/host/opentitanlib/src/bootstrap/eeprom.rs
+++ w/sw/host/opentitanlib/src/bootstrap/eeprom.rs
@@ -8,6 +8,7 @@ use crate::app::TransportWrapper;
 use crate::bootstrap::{Bootstrap, UpdateProtocol};
 use crate::spiflash::SpiFlash;
 use crate::transport::{Capability, ProgressIndicator};
+use crate::uart::console::UartConsole;
 

pamaury

#!/usr/bin/env python3

"""
This scripts allows one to compute a diff between two pushes to a
Github pull request.

To use this tool, first you need to create a GitHub token. You only
need the minimal possible access (read access to public repositories).
Save it to a file, e.g. token.txt