# dry-run: tools/small-core-heartbeat-session.py transcript excerpt (U-Boot banner to the reset command).
# Session notes (host-relative seconds):
#   [   0.000] --- small-core heartbeat session start (dry run) ---
#   [   0.401] --- sending: reboot ---
#   [  12.573] --- sending: version ---
#   [  12.724] --- sending: help boot_baremetal ---
#   [  12.874] --- sending: bdinfo ---
#   [  13.025] --- sending: printenv mmc_boot_dev_num ---
#   [  13.175] --- sending: ext4load mmc 1:1 0x7000000 /small-core-heartbeat.bin ---
#   [  13.326] --- sending: printenv fileaddr filesize ---
#   [  13.477] --- sending: crc32 0x7000000 0x50 ---
#   [  13.578] --- pre-release checks PASS ---
#   [  13.628] --- sending: reset ---
#   [  78.429] --- Linux login prompt is back ---
#   [  78.429] --- session end, status 0 ---
# Excerpt (ANSI codes and the U-Boot IP address line removed; console echo duplicates kept):

U-Boot 2022.10 (Oct 03 2022 - 19:25:32 +0000)

CPU:   rv64imafdcvsu
Model: kendryte k230 canmv v3
DRAM:  1 GiB
Core:  27 devices, 15 uclasses, devicetree: embed
MMC:   mmc0@91580000: 0, mmc1@91581000: 1
Loading Environment from MMC... OK
In:    serial@91400000
Out:   serial@91400000
Err:   serial@91400000
Net:   No ethernet found.
Card did not respond to voltage select! : -110
mmc_init: -95, time 30
** Bad device specification mmc 0 **
Couldn't find partition mmc 0:1
logo.xrgb unavailable or unsafe, skip U-Boot logo
Hit any key to stop autoboot:  1  0
K230#                                 
K230# 
K230# [  12.573] --- sending: version ---
version
U-Boot 2022.10 (Oct 03 2022 - 19:25:32 +0000)

riscv64-unknown-linux-gnu-gcc (GCC) 15.3.0
GNU ld (GNU Binutils) 2.46
K230# 
U-Boot 2022.10 (Oct 03 2022 - 19:25:32 +0000)

riscv64-unknown-linux-gnu-gcc (GCC) 15.3.0
GNU ld (GNU Binutils) 2.46
K230# [  12.724] --- sending: help boot_baremetal ---
help boot_baremetal
boot_baremetal - boot_baremetal

Usage:
boot_baremetal 
 boot_baremetal cpu addr size

K230# 
boot_baremetal - boot_baremetal

Usage:
boot_baremetal 
 boot_baremetal cpu addr size

K230# [  12.874] --- sending: bdinfo ---
bdinfo
boot_params = 0x0000000000000000
DRAM bank   = 0x0000000000000000
-> start    = 0x0000000000000000
-> size     = 0x0000000040000000
flashstart  = 0x0000000000000000
flashsize   = 0x0000000000000000
flashoffset = 0x0000000000000000
baudrate    = 115200 bps
relocaddr   = 0x000000003ff39000
reloc off   = 0x000000003ff39000
Build       = 64-bit
current eth = unknown
ethaddr     = (not set)
IP addr     = <redacted>
fdt_blob    = 0x0000000000098f70
new_fdt     = 0x0000000000000000
fdt_size    = 0x0000000000000000
lmb_dump_all:
 memory.cnt  = 0x1
 memory[0]	[0x0-0x3fffffff], 0x40000000 bytes flags: 0
 reserved.cnt  = 0x1
 reserved[0]	[0x3fb35920-0x3fffffff], 0x004ca6e0 bytes flags: 0
devicetree  = embed
malloc 3fb37000---3ff39000---3fb43000
sp:        3fb36970 ,3fb36970 3fb3b640 
K230# 
boot_params = 0x0000000000000000
DRAM bank   = 0x0000000000000000
-> start    = 0x0000000000000000
-> size     = 0x0000000040000000
flashstart  = 0x0000000000000000
flashsize   = 0x00000000000[  13.025] --- sending: printenv mmc_boot_dev_num ---
00000
flashoffset = 0x0000000000000000
baudrate    = 115200 bps
relocaddr   = 0x000000003ff39000
reloc off   = 0x000000003ff39000
Build       = 64-bit
current eth = unknown
ethaddr     = (not set)
IP addr     = <redacted>
fdt_blob    = 0x0000000000098f70
new_fdt     = 0x0000000000000000
fdt_size    = 0x0000000000000000
lmb_dump_all:
 memory.cnt  = 0x1
 memory[0]	[0x0-0x3fffffff], 0x40000000 bytes flags: 0
 reserved.cnt  = 0x1
 reserved[0]	[0x3fb35920-0x3fffffff], 0x004ca6e0 bytes flags: 0
devicetree  = embed
malloc 3fb37000---3ff39000---3fb43000
sp:        3fb36970 ,3fb36970 3fb3b880 
K230# printenv mmc_boot_dev_num
mmc_boot_dev_num=1
K230# 
mmc_boot_dev_num=1
K230# [  13.175] --- sending: ext4load mmc 1:1 0x7000000 /small-core-heartbeat.bin ---
ext4load mmc 1:1 0x7000000 /small-core-heartbeat.bin
80 bytes read in 1 ms (78.1 KiB/s)
K230# 
K230# [  13.326] --- sending: printenv fileaddr filesize ---
printenv fileaddr filesize
fileaddr=7000000
filesize=50
K230# 
fileaddr=7000000
filesize=50
K230# [  13.477] --- sending: crc32 0x7000000 0x50 ---
crc32 0x7000000 0x50
crc32 for 07000000 ... 0700004f ==> 3db6c1eb
K230# 
crc32 for 07000000 ... 0700004f ==> 3db6c1eb
K230# [  13.578] --- pre-release checks PASS ---
[  13.628] ---