tm4c129x: this platform can support two kinds of the tm4c129x boards: DK and EK

[pawosm-arm]

FUZIX version 0.4pre1
Copyright (c) 1988-2002 by H.F.Bower, D.Braun, S.Nitschke, H.Peraza
Copyright (c) 1997-2001 by Arcady Schekochikhin, Adriano C. R. da Cunha
Copyright (c) 2013-2015 Will Sowerbutts <will@sowerbutts.com>
Copyright (c) 2014-2023 Alan Cox <alan@etchedpixels.co.uk>
Devboot
256kB total RAM, 256kB available to processes (15 processes max)
Enabling interrupts ... ok.
SD drive 0: hda: hda1
bootdev: hda1
Mounting root fs (root_dev=1, ro): OK
Starting /init
init version 0.9.1
Checking root file system.
Current date is Sun 2023-07-16
Enter new date:
Current time is 08:12:57
Enter new time:

 ^ ^
 n n   Fuzix 0.4pre1
 >@<
       Welcome to Fuzix
 m m

login: root

Welcome to FUZIX.
# uname
Fuzix
# uname -m
tm4c129x
# uname -a
Fuzix 0.4pre1  tm4c129x
# remount / ro
# ls -la /
drwxrwxrwx  11 root     root          512 Jul 16 08:12 .
drwxrwxrwx  11 root     root          512 Jul 16 08:12 ..
drwxr-xr-x   2 root     root         4096 Jul 16 08:12 bin
drwxr-xr-x   2 root     root         3072 Jul 16 08:12 dev
drwxr-xr-x   2 root     root         1024 Jul 16 08:13 etc
-rwxr-xr-x   1 root     root        10176 Jul 16 08:12 init
drwxr-xr-x   2 root     root          512 Jul 16 08:12 mnt
drwx--x---   2 root     root          512 Jul 16 08:12 root
drwxrwxrwt   2 root     root          512 Jul 16 08:12 tmp
drwxr-xr-x  10 root     root          512 Jul 16 08:12 usr
drwxr-xr-x   5 root     root          512 Jul 16 08:12 var
# netd-eth &
19
# ifconfig
eth0    : up broadcast running  mtu 1500
ether: 00:1a:b6:xx:xx:xx  (Ethernet)
inet 192.168.1.129  netmask 255.255.255.0  broadcast 192.168.1.255  gateway 192.168.42.1

#