U-Boot 2012.04.01-1.02 (Feb 11 2013 - 16:11:37)

TEGRA2
Board: Compulab Trimslice
DRAM:  1 GiB
MMC:   Tegra2 SD/MMC: 0, Tegra2 SD/MMC: 1
SF: Detected W25Q80BL with page size 4 KiB, total 1 MiB
In:    serial
Out:   serial
Err:   serial
Net:   PCI device RTL8169#0: unknown chip version, assuming RTL-8169
PCI device: TxConfig = 0x2B1000C0
RTL8169#0
Hit any key to stop autoboot:  0 
BOOTP broadcast 1
DHCP client bound to address 192.168.0.190
BOOTP broadcast 1
DHCP client bound to address 192.168.0.190
Using RTL8169#0 device
TFTP from server 192.168.0.130; our IP address is 192.168.0.190
Filename '/arm/9ts'.
Load address: 0x410000
Loading: #################################################################
         ############################################################
done
Bytes transferred = 1678963 (199e73 hex)
Using RTL8169#0 device
TFTP from server 192.168.0.130; our IP address is 192.168.0.190
Filename '%C'.
Load address: 0x400000
Loading: #
done
Bytes transferred = 180 (b4 hex)
## Starting application at 0x00410000 ...

Plan 9 from Bell Labs (mp arm; 2 cpus)

l1: int split i&d,  4 ways  256 sets 32 bytes/line; can W[BA]; l1-i VIPT
l2: ext unified,    8 ways 4096 sets 32 bytes/line; can W[TBA]
fp: 16 registers,  no simd
fp: arm arch VFPv3+ with null subarch; rev 1
cpu0: 1000MHz ARM Cortex-A9 r1p0 little-endian
pcireset...ok
rtl8169: oui 0x732 phyno 1, macv = 0x28000000 phyv = 0x0002
#l0: rtl8169: 1000Mbps port 0xa0000000 irq 130: 0001c00ccb6a
1017M memory: 205M kernel data, 812M user, 3858M swap
cpu1: 1000MHz ARM Cortex-A9 r1p0 little-endian
#l0: link up
version...time...

init: starting /bin/rc
sodium#