Hi Andrew,

You may need to refresh your environment variables.

To do this, you can try this command at the u-boot prompt:
destroyenv

If that does not work, you can manually destroy the environment by using the sf commands:
sf probe || sf probe 1
sf erase 0xc0000 0x2000

I'll update the instruction on the web to include this step

  - Alex

________________________________________
From: Devel [devel-bounces@sel4.systems] on behalf of Andrew Shruhan [ashruhan@docboxinc.com]
Sent: Tuesday, 11 August 2015 03:50
To: devel@sel4.systems
Cc: Satish Sundar
Subject: [seL4] U-boot help sabrelite

Hi,

I am attempting to follow the tutorial booting from SPI for the sabrelite
https://sel4.systems/Hardware/sabreLite/

when booting I obtain this output and am not able to run "run bootsel4_mmc"

U-Boot 2009.08-dirty (Jun 27 2013 - 16:26:46)

CPU: Freescale i.MX6 family TO1.2 at 792 MHz
Temperature:   36 C, calibration data 0x56a4bc7d
mx6q pll1: 792MHz
mx6q pll2: 528MHz
mx6q pll3: 480MHz
mx6q pll8: 50MHz
ipg clock     : 66000000Hz
ipg per clock : 66000000Hz
uart clock    : 80000000Hz
cspi clock    : 60000000Hz
ahb clock     : 132000000Hz
axi clock   : 264000000Hz
emi_slow clock: 132000000Hz
ddr clock     : 528000000Hz
usdhc1 clock  : 198000000Hz
usdhc2 clock  : 198000000Hz
usdhc3 clock  : 198000000Hz
usdhc4 clock  : 198000000Hz
nfc clock     : 24000000Hz
Board: MX6Q-SABRELITE:[ POR]
Boot Device: I2C
I2C:   ready
DRAM:   1 GB
MMC:   FSL_USDHC: 0,FSL_USDHC: 1
JEDEC ID: 0xbf:0x25:0x41
Reading SPI NOR flash 0xc0000 [0x2000 bytes] -> ram 0x276009b8
SUCCESS

In:    serial
Out:   serial
Err:   serial
Net:   got MAC address from IIM: 00:19:b8:01:fd:6d
FEC0
Hit any key to stop autoboot:  0
AHCI 0000.0000 1 slots 1 ports ? Gbps 0x0 impl SATA mode
flags:
No port device detected!
Unknown command 'load' - try 'help'

SATA device 1: unknown device
Unknown command 'load' - try 'help'
Card did not respond to voltage select!
mmc0(part 0) is current device
Unknown command 'load' - try 'help'
mmc1 is current device
Unknown command 'load' - try 'help'
Unknown command 'usb' - try 'help'
Unknown command 'usb' - try 'help'
Unknown command 'load' - try 'help'
Unknown command 'usb' - try 'help'
Unknown command 'load' - try 'help'

6x_bootscript not found

serial console at 115200, 8N1

details at http://boundarydevices.com/6q_bootscript
AHCI 0000.0000 1 slots 1 ports ? Gbps 0x0 impl SATA mode
flags:
No port device detected!
AHCI 0000.0000 1 slots 1 ports ? Gbps 0x0 impl SATA mode
flags:
No port device detected!
Card did not respond to voltage select!
mmc0(part 0) is current device
expose mmc drive 0 over USB
Unknown command 'ums' - try 'help'
Card did not respond to voltage select!
no block devices found
ERTOS MX6Q SABRELITE U-Boot >
--
-Andrew


Andrew P. Shruhan
Research and Development Engineer III

DocBox, Inc.
320 Nevada St
Newton MA, 02460

Work: 857-598-2819 ext. 117<tel:857-598-2819%20ext.%20117>
www.docboxinc.com<http://www.docboxinc.com/>

________________________________

The information in this e-mail may be confidential and subject to legal professional privilege and/or copyright. National ICT Australia Limited accepts no liability for any damage caused by this email or its attachments.