List of available devices:

serial   80000003 SIO stdin stdout stderr 

WMT # bdinfo 

arch_number = 0x000002D8

env_t       = 0x00000000

boot_params = 0x00000100

DRAM bank   = 0x00000000

-> start    = 0x00000000

-> size     = 0x08000000

ethaddr     = 90:2B:34:52:F7:0D

ip_addr     = 192.168.0.2

baudrate    = 115200 bps

WMT #