16:44:51.9132 [INFO] System bus created. 16:44:52.5790 [INFO] Pseudorandom Number Generator was created with seed: 1878038385 16:44:52.8218 [INFO] sysbus: Loading segment of 21708 bytes length at 0x0. 16:44:52.8325 [INFO] sysbus: Loading segment of 80 bytes length at 0x54CC. 16:44:52.8326 [INFO] sysbus: Loading segment of 4 bytes length at 0x551C. 16:44:52.8342 [INFO] sysbus: Loading segment of 17648 bytes length at 0x20000050. 16:44:53.0840 [INFO] cpu0: Setting initial values: PC = 0xD49, SP = 0x20004500. 16:44:53.0847 [INFO] frdm_k64f: Machine started. 16:44:53.1247 [WARNING] sysbus: [cpu0: 0x18FC] WriteWord to non existing peripheral at 0x4005200E, value 0xC520. 16:44:53.1247 [WARNING] sysbus: [cpu0: 0x18FC] WriteWord to non existing peripheral at 0x4005200E, value 0xD928. 16:44:53.1247 [WARNING] sysbus: [cpu0: 0x18FC] WriteWord to non existing peripheral at 0x40052000, value 0x1D2. 16:44:53.1318 [WARNING] nvic0: Changing value of the SHCSR register to 0x70000, the register isn't supported by Renode 16:44:53.1330 [WARNING] nvic0: Unhandled write to offset 0xD2C, value 0xFFFFFFFF. 16:44:53.1333 [WARNING] sysbus: [cpu0: 0x1160] ReadDoubleWord from non existing peripheral at 0x4000D000. 16:44:53.1333 [WARNING] sysbus: [cpu0: 0x1160] WriteDoubleWord to non existing peripheral at 0x4000D000, value 0x0. 16:44:53.1333 [WARNING] sysbus: [cpu0: 0x1160] ReadDoubleWord from non existing peripheral at 0x4000D000. 16:44:53.1333 [WARNING] sysbus: [cpu0: 0x1160] WriteDoubleWord to non existing peripheral at 0x4000D000, value 0xF8000000. 16:44:53.1334 [WARNING] sim: Unhandled read from offset 0x1040. 16:44:53.1334 [WARNING] sim: Unhandled write to offset 0x1040, value 0x4. 16:44:53.1334 [WARNING] sysbus: [cpu0: 0x1034] WriteDoubleWord to non existing peripheral at 0x4000D800, value 0x798618. 16:44:53.1335 [WARNING] sysbus: [cpu0: 0x1044] WriteDoubleWord to non existing peripheral at 0x4000D410, value 0x0. 16:44:53.1335 [WARNING] sysbus: [cpu0: 0x1044] WriteDoubleWord to non existing peripheral at 0x4000D414, value 0x1FFFFFFF. 16:44:53.1335 [WARNING] sysbus: [cpu0: 0x1044] WriteDoubleWord to non existing peripheral at 0x4000D418, value 0x410410. 16:44:53.1335 [WARNING] sysbus: [cpu0: 0x1044] WriteDoubleWord to non existing peripheral at 0x4000D41C, value 0x1. 16:44:53.1335 [WARNING] sysbus: [cpu0: 0x1044] WriteDoubleWord to non existing peripheral at 0x4000D420, value 0x20030000. 16:44:53.1335 [WARNING] sysbus: [cpu0: 0x1044] WriteDoubleWord to non existing peripheral at 0x4000D424, value 0xFFFFFFFF. 16:44:53.1335 [WARNING] sysbus: [cpu0: 0x1044] WriteDoubleWord to non existing peripheral at 0x4000D428, value 0x410410. 16:44:53.1335 [WARNING] sysbus: [cpu0: 0x1044] WriteDoubleWord to non existing peripheral at 0x4000D42C, value 0x1. 16:44:53.1336 [WARNING] sysbus: [cpu0: 0x1044] WriteDoubleWord to non existing peripheral at 0x4000D430, value 0x0. 16:44:53.1336 [WARNING] sysbus: [cpu0: 0x1044] WriteDoubleWord to non existing peripheral at 0x4000D434, value 0xFFFFF. 16:44:53.1336 [WARNING] sysbus: [cpu0: 0x1044] WriteDoubleWord to non existing peripheral at 0x4000D438, value 0x75D75D. 16:44:53.1336 [WARNING] sysbus: [cpu0: 0x1044] WriteDoubleWord to non existing peripheral at 0x4000D43C, value 0x1. 16:44:53.1336 [WARNING] sysbus: [cpu0: 0x1044] WriteDoubleWord to non existing peripheral at 0x4000D440, value 0x20000000. 16:44:53.1336 [WARNING] sysbus: [cpu0: 0x1044] WriteDoubleWord to non existing peripheral at 0x4000D444, value 0x2002FFFF. 16:44:53.1336 [WARNING] sysbus: [cpu0: 0x1044] WriteDoubleWord to non existing peripheral at 0x4000D448, value 0x590410. 16:44:53.1336 [WARNING] sysbus: [cpu0: 0x1044] WriteDoubleWord to non existing peripheral at 0x4000D44C, value 0x1. 16:44:53.1336 [WARNING] sysbus: [cpu0: 0x1144] ReadDoubleWord from non existing peripheral at 0x4000D000. 16:44:53.1336 [WARNING] sysbus: [cpu0: 0x1144] WriteDoubleWord to non existing peripheral at 0x4000D000, value 0x1. 16:44:53.1339 [WARNING] sysbus: [cpu0: 0x968] ReadByte from non existing peripheral at 0x4007D002. 16:44:53.1339 [WARNING] sysbus: [cpu0: 0x968] WriteByte to non existing peripheral at 0x4007D002, value 0x8. 16:44:53.1339 [WARNING] sim: Unhandled write to offset 0x1044, value 0x1240000. 16:44:53.1355 [WARNING] mcg: Unhandled read from offset 0x1000. 16:44:53.1362 [WARNING] mcg: Unhandled write to offset 0x1000, value 0x0. 16:44:53.1401 [WARNING] mcg: Unhandled write to offset 0x1. Unhandled bits: [5] when writing value 0x20. Tags: RANGE (0x2). 16:44:53.1403 [WARNING] mcg: Unhandled read from offset 0x1000. 16:44:53.1403 [WARNING] mcg: Unhandled write to offset 0x1000, value 0x80. 16:44:53.1403 [WARNING] mcg: Unhandled read from offset 0xC. 16:44:53.1403 [WARNING] mcg: Unhandled read from offset 0xC. 16:44:53.1403 [WARNING] mcg: Unhandled write to offset 0xC, value 0x0. 16:44:53.1439 [WARNING] mcg: Unhandled write to offset 0x4. Unhandled bits: [0-1, 4] when writing value 0x13. Tags: PRDIV0 (0x13). 16:44:53.1439 [WARNING] mcg: Unhandled write to offset 0x5. Unhandled bits: [3-4] when writing value 0x18. Tags: VDIV0 (0x18). 16:44:53.1442 [WARNING] mcg: Unhandled read from offset 0x8. 16:44:53.1442 [WARNING] mcg: Unhandled read from offset 0x8. 16:44:53.1442 [WARNING] mcg: Unhandled write to offset 0x8, value 0x2. 16:44:53.1442 [WARNING] mcg: Unhandled write to offset 0x0. Unhandled bits: [1] when writing value 0x2. Tags: IRCLKEN (0x1). 16:44:53.1443 [WARNING] sim: Unhandled write to offset 0x1044, value 0x1240000. 16:44:53.1443 [WARNING] sim: Unhandled read from offset 0x1004. 16:44:53.1443 [WARNING] sim: Unhandled write to offset 0x1004, value 0x10000. 16:44:53.1443 [WARNING] sim: Unhandled read from offset 0x0. 16:44:53.1443 [WARNING] sim: Unhandled write to offset 0x0, value 0x80000. 16:44:53.1444 [WARNING] sim: Unhandled read from offset 0x1038. 16:44:53.1444 [WARNING] sim: Unhandled write to offset 0x1038, value 0x200. 16:44:53.1444 [WARNING] sim: Unhandled read from offset 0x1038. 16:44:53.1444 [WARNING] sim: Unhandled write to offset 0x1038, value 0x800. 16:44:53.1444 [WARNING] sim: Unhandled read from offset 0x1038. 16:44:53.1444 [WARNING] sim: Unhandled write to offset 0x1038, value 0x400. 16:44:53.1444 [WARNING] sim: Unhandled read from offset 0x1038. 16:44:53.1445 [WARNING] sim: Unhandled write to offset 0x1038, value 0x2000. 16:44:53.1445 [WARNING] sim: Unhandled read from offset 0x1038. 16:44:53.1445 [WARNING] sim: Unhandled write to offset 0x1038, value 0x1000. 16:44:53.1445 [WARNING] mcg: Unhandled read from offset 0xC. 16:44:53.1446 [WARNING] sim: Unhandled read from offset 0x1044. 16:44:53.1447 [WARNING] sim: Unhandled read from offset 0x1034. 16:44:53.1447 [WARNING] sim: Unhandled write to offset 0x1034, value 0x400. 16:44:53.1450 [WARNING] uart0: Unhandled read from offset 0x2. 16:44:53.1450 [WARNING] uart0: Unhandled write to offset 0x2, value 0x0. 16:44:53.1451 [WARNING] uart0: Unhandled read from offset 0x10. 16:44:53.1451 [WARNING] uart0: Unhandled write to offset 0x10, value 0x88. 16:44:53.1451 [WARNING] uart0: Unhandled read from offset 0x11. 16:44:53.1451 [WARNING] uart0: Unhandled write to offset 0x11, value 0xC0. 16:44:53.1452 [WARNING] sysbus: [cpu0: 0x1396] ReadDoubleWord from non existing peripheral at 0x4004A040. 16:44:53.1452 [WARNING] sysbus: [cpu0: 0x1396] WriteDoubleWord to non existing peripheral at 0x4004A040, value 0x300. 16:44:53.1452 [WARNING] sysbus: [cpu0: 0x1396] ReadDoubleWord from non existing peripheral at 0x4004A044. 16:44:53.1452 [WARNING] sysbus: [cpu0: 0x1396] WriteDoubleWord to non existing peripheral at 0x4004A044, value 0x300. 16:44:53.1453 [WARNING] mcg: Unhandled read from offset 0xC. 16:44:53.1453 [WARNING] sim: Unhandled read from offset 0x1044. 16:44:53.1453 [WARNING] sim: Unhandled read from offset 0x1034. 16:44:53.1453 [WARNING] sim: Unhandled write to offset 0x1034, value 0x2000. 16:44:53.1453 [WARNING] uart3: Unhandled read from offset 0x2. 16:44:53.1454 [WARNING] uart3: Unhandled write to offset 0x2, value 0x0. 16:44:53.1454 [WARNING] uart3: Unhandled read from offset 0x10. 16:44:53.1454 [WARNING] uart3: Unhandled write to offset 0x10, value 0x88. 16:44:53.1454 [WARNING] uart3: Unhandled read from offset 0x11. 16:44:53.1454 [WARNING] uart3: Unhandled write to offset 0x11, value 0xC0. 16:44:53.1454 [WARNING] sysbus: [cpu0: 0x1380] ReadDoubleWord from non existing peripheral at 0x4004B040. 16:44:53.1454 [WARNING] sysbus: [cpu0: 0x1380] WriteDoubleWord to non existing peripheral at 0x4004B040, value 0x300. 16:44:53.1454 [WARNING] sysbus: [cpu0: 0x1380] ReadDoubleWord from non existing peripheral at 0x4004B044. 16:44:53.1454 [WARNING] sysbus: [cpu0: 0x1380] WriteDoubleWord to non existing peripheral at 0x4004B044, value 0x300. 16:44:53.1521 [WARNING] sysbus: [cpu0: 0x1044] WriteDoubleWord to non existing peripheral at 0x4000D4B0, value 0x20000000. 16:44:53.1522 [WARNING] sysbus: [cpu0: 0x1044] WriteDoubleWord to non existing peripheral at 0x4000D4B4, value 0x2002FFFF. 16:44:53.1522 [WARNING] sysbus: [cpu0: 0x1044] WriteDoubleWord to non existing peripheral at 0x4000D4B8, value 0x590410. 16:44:53.1522 [WARNING] sysbus: [cpu0: 0x1044] WriteDoubleWord to non existing peripheral at 0x4000D4BC, value 0x1. 16:44:53.1522 [WARNING] sysbus: [cpu0: 0x1044] WriteDoubleWord to non existing peripheral at 0x4000D440, value 0x20000000. 16:44:53.1522 [WARNING] sysbus: [cpu0: 0x1044] WriteDoubleWord to non existing peripheral at 0x4000D444, value 0x2002FFFF. 16:44:53.1522 [WARNING] sysbus: [cpu0: 0x1044] WriteDoubleWord to non existing peripheral at 0x4000D448, value 0x590410. 16:44:53.1522 [WARNING] sysbus: [cpu0: 0x1044] WriteDoubleWord to non existing peripheral at 0x4000D44C, value 0x1. 16:44:53.1523 [WARNING] sysbus: [cpu0: 0x1044] WriteDoubleWord to non existing peripheral at 0x4000D450, value 0x20004140. 16:44:53.1523 [WARNING] sysbus: [cpu0: 0x1044] WriteDoubleWord to non existing peripheral at 0x4000D454, value 0x2002FFFF. 16:44:53.1524 [WARNING] sysbus: [cpu0: 0x1044] WriteDoubleWord to non existing peripheral at 0x4000D458, value 0x590410. 16:44:53.1524 [WARNING] sysbus: [cpu0: 0x1044] WriteDoubleWord to non existing peripheral at 0x4000D45C, value 0x1. 16:44:53.1525 [WARNING] sysbus: [cpu0: 0x1044] WriteDoubleWord to non existing peripheral at 0x4000D440, value 0x20000000. 16:44:53.1525 [WARNING] sysbus: [cpu0: 0x1044] WriteDoubleWord to non existing peripheral at 0x4000D444, value 0x200040FF. 16:44:53.1526 [WARNING] sysbus: [cpu0: 0x1044] WriteDoubleWord to non existing peripheral at 0x4000D448, value 0x590410. 16:44:53.1526 [WARNING] sysbus: [cpu0: 0x1044] WriteDoubleWord to non existing peripheral at 0x4000D44C, value 0x1. 16:44:53.1527 [WARNING] sysbus: [cpu0: 0x1044] WriteDoubleWord to non existing peripheral at 0x4000D460, value 0x20004100. 16:44:53.1527 [WARNING] sysbus: [cpu0: 0x1044] WriteDoubleWord to non existing peripheral at 0x4000D464, value 0x2000413F. 16:44:53.1527 [WARNING] sysbus: [cpu0: 0x1044] WriteDoubleWord to non existing peripheral at 0x4000D468, value 0x208208. 16:44:53.1528 [WARNING] sysbus: [cpu0: 0x1044] WriteDoubleWord to non existing peripheral at 0x4000D46C, value 0x1. 16:44:53.1528 [WARNING] sysbus: [cpu0: 0x11EC] WriteDoubleWord to non existing peripheral at 0x4000D470, value 0x0. 16:44:53.1529 [WARNING] sysbus: [cpu0: 0x11EC] WriteDoubleWord to non existing peripheral at 0x4000D474, value 0x0. 16:44:53.1529 [WARNING] sysbus: [cpu0: 0x11EC] WriteDoubleWord to non existing peripheral at 0x4000D478, value 0x0. 16:44:53.1529 [WARNING] sysbus: [cpu0: 0x11EC] WriteDoubleWord to non existing peripheral at 0x4000D47C, value 0x0. 16:44:53.1530 [WARNING] sysbus: [cpu0: 0x11EC] WriteDoubleWord to non existing peripheral at 0x4000D480, value 0x0. 16:44:53.1530 [WARNING] sysbus: [cpu0: 0x11EC] WriteDoubleWord to non existing peripheral at 0x4000D484, value 0x0. 16:44:53.1530 [WARNING] sysbus: [cpu0: 0x11EC] WriteDoubleWord to non existing peripheral at 0x4000D488, value 0x0. 16:44:53.1531 [WARNING] sysbus: [cpu0: 0x11EC] WriteDoubleWord to non existing peripheral at 0x4000D48C, value 0x0. 16:44:53.1531 [WARNING] sysbus: [cpu0: 0x11EC] WriteDoubleWord to non existing peripheral at 0x4000D490, value 0x0. 16:44:53.1531 [WARNING] sysbus: [cpu0: 0x11EC] WriteDoubleWord to non existing peripheral at 0x4000D494, value 0x0. 16:44:53.1532 [WARNING] sysbus: [cpu0: 0x11EC] WriteDoubleWord to non existing peripheral at 0x4000D498, value 0x0. 16:44:53.1532 [WARNING] sysbus: [cpu0: 0x11EC] WriteDoubleWord to non existing peripheral at 0x4000D49C, value 0x0. 16:44:53.1532 [WARNING] sysbus: [cpu0: 0x11EC] WriteDoubleWord to non existing peripheral at 0x4000D4A0, value 0x0. 16:44:53.1533 [WARNING] sysbus: [cpu0: 0x11EC] WriteDoubleWord to non existing peripheral at 0x4000D4A4, value 0x0. 16:44:53.1533 [WARNING] sysbus: [cpu0: 0x11EC] WriteDoubleWord to non existing peripheral at 0x4000D4A8, value 0x0. 16:44:53.1533 [WARNING] sysbus: [cpu0: 0x11EC] WriteDoubleWord to non existing peripheral at 0x4000D4AC, value 0x0. 16:44:53.1533 [WARNING] sysbus: [cpu0: 0x11EC] WriteDoubleWord to non existing peripheral at 0x4000D4B0, value 0x0. 16:44:53.1534 [WARNING] sysbus: [cpu0: 0x11EC] WriteDoubleWord to non existing peripheral at 0x4000D4B4, value 0x0. 16:44:53.1534 [WARNING] sysbus: [cpu0: 0x11EC] WriteDoubleWord to non existing peripheral at 0x4000D4B8, value 0x0. 16:44:53.1534 [WARNING] sysbus: [cpu0: 0x11EC] WriteDoubleWord to non existing peripheral at 0x4000D4BC, value 0x0. 16:44:53.1689 [INFO] uart0: [host: 0.54s (+0.54s)|virt: 0.1ms (+0.1ms)] *** Booting Zephyr OS build 3723493f60a1 *** 16:44:53.1704 [INFO] uart0: [host: 0.54s (+1.4ms)|virt: 0.1ms (+0s)] [2J[15;1HDemo Description 16:44:53.1708 [INFO] uart0: [host: 0.54s (+0.55ms)|virt: 0.1ms (+0s)] ---------------- 16:44:53.1733 [INFO] uart0: [host: 0.55s (+2.46ms)|virt: 0.1ms (+0s)] An implementation of a solution to the Dining Philosophers 16:44:53.1756 [INFO] uart0: [host: 0.55s (+2.27ms)|virt: 0.1ms (+0s)] problem (a classic multi-thread synchronization problem). 16:44:53.1779 [INFO] uart0: [host: 0.55s (+2.34ms)|virt: 0.2ms (+0.1ms)] This particular implementation demonstrates the usage of multiple 16:44:53.1803 [INFO] uart0: [host: 0.55s (+2.42ms)|virt: 0.2ms (+0s)] preemptible and cooperative threads of differing priorities, as 16:44:53.1832 [INFO] uart0: [host: 0.56s (+2ms)|virt: 0.2ms (+0s)] well as dynamic mutexes and thread sleeping. 16:44:53.1873 [WARNING] sysbus: [cpu0: 0x1044] WriteDoubleWord to non existing peripheral at 0x4000D4B0, value 0x20000000. 16:44:53.1873 [WARNING] sysbus: [cpu0: 0x1044] WriteDoubleWord to non existing peripheral at 0x4000D4B4, value 0x2002FFFF. 16:44:53.1873 [WARNING] sysbus: [cpu0: 0x1044] WriteDoubleWord to non existing peripheral at 0x4000D4B8, value 0x590410. 16:44:53.1873 [WARNING] sysbus: [cpu0: 0x1044] WriteDoubleWord to non existing peripheral at 0x4000D4BC, value 0x1. 16:44:53.1873 [WARNING] sysbus: [cpu0: 0x1044] WriteDoubleWord to non existing peripheral at 0x4000D440, value 0x20000000. 16:44:53.1873 [WARNING] sysbus: [cpu0: 0x1044] WriteDoubleWord to non existing peripheral at 0x4000D444, value 0x2002FFFF. 16:44:53.1873 [WARNING] sysbus: [cpu0: 0x1044] WriteDoubleWord to non existing peripheral at 0x4000D448, value 0x590410. 16:44:53.1873 [WARNING] sysbus: [cpu0: 0x1044] WriteDoubleWord to non existing peripheral at 0x4000D44C, value 0x1. 16:44:53.1873 [WARNING] sysbus: [cpu0: 0x1044] WriteDoubleWord to non existing peripheral at 0x4000D450, value 0x20002700. 16:44:53.1874 [WARNING] sysbus: [cpu0: 0x1044] WriteDoubleWord to non existing peripheral at 0x4000D454, value 0x2002FFFF. 16:44:53.1874 [WARNING] sysbus: [cpu0: 0x1044] WriteDoubleWord to non existing peripheral at 0x4000D458, value 0x590410. 16:44:53.1874 [WARNING] sysbus: [cpu0: 0x1044] WriteDoubleWord to non existing peripheral at 0x4000D45C, value 0x1. 16:44:53.1874 [WARNING] sysbus: [cpu0: 0x1044] WriteDoubleWord to non existing peripheral at 0x4000D440, value 0x20000000. 16:44:53.1874 [WARNING] sysbus: [cpu0: 0x1044] WriteDoubleWord to non existing peripheral at 0x4000D444, value 0x200026BF. 16:44:53.1874 [WARNING] sysbus: [cpu0: 0x1044] WriteDoubleWord to non existing peripheral at 0x4000D448, value 0x590410. 16:44:53.1874 [WARNING] sysbus: [cpu0: 0x1044] WriteDoubleWord to non existing peripheral at 0x4000D44C, value 0x1. 16:44:53.1874 [WARNING] sysbus: [cpu0: 0x1044] WriteDoubleWord to non existing peripheral at 0x4000D460, value 0x200026C0. 16:44:53.1874 [WARNING] sysbus: [cpu0: 0x1044] WriteDoubleWord to non existing peripheral at 0x4000D464, value 0x200026FF. 16:44:53.1875 [WARNING] sysbus: [cpu0: 0x1044] WriteDoubleWord to non existing peripheral at 0x4000D468, value 0x208208. 16:44:53.1875 [WARNING] sysbus: [cpu0: 0x1044] WriteDoubleWord to non existing peripheral at 0x4000D46C, value 0x1. 16:44:53.1875 [WARNING] sysbus: [cpu0: 0x11EC] WriteDoubleWord to non existing peripheral at 0x4000D470, value 0x0. 16:44:53.1875 [WARNING] sysbus: [cpu0: 0x11EC] WriteDoubleWord to non existing peripheral at 0x4000D474, value 0x0. 16:44:53.1875 [WARNING] sysbus: [cpu0: 0x11EC] WriteDoubleWord to non existing peripheral at 0x4000D478, value 0x0. 16:44:53.1875 [WARNING] sysbus: [cpu0: 0x11EC] WriteDoubleWord to non existing peripheral at 0x4000D47C, value 0x0. 16:44:53.1875 [WARNING] sysbus: [cpu0: 0x11EC] WriteDoubleWord to non existing peripheral at 0x4000D480, value 0x0. 16:44:53.1875 [WARNING] sysbus: [cpu0: 0x11EC] WriteDoubleWord to non existing peripheral at 0x4000D484, value 0x0. 16:44:53.1875 [WARNING] sysbus: [cpu0: 0x11EC] WriteDoubleWord to non existing peripheral at 0x4000D488, value 0x0. 16:44:53.1875 [WARNING] sysbus: [cpu0: 0x11EC] WriteDoubleWord to non existing peripheral at 0x4000D48C, value 0x0. 16:44:53.1876 [WARNING] sysbus: [cpu0: 0x11EC] WriteDoubleWord to non existing peripheral at 0x4000D490, value 0x0. 16:44:53.1876 [WARNING] sysbus: [cpu0: 0x11EC] WriteDoubleWord to non existing peripheral at 0x4000D494, value 0x0. 16:44:53.1876 [WARNING] sysbus: [cpu0: 0x11EC] WriteDoubleWord to non existing peripheral at 0x4000D498, value 0x0. 16:44:53.1876 [WARNING] sysbus: [cpu0: 0x11EC] WriteDoubleWord to non existing peripheral at 0x4000D49C, value 0x0. 16:44:53.1876 [WARNING] sysbus: [cpu0: 0x11EC] WriteDoubleWord to non existing peripheral at 0x4000D4A0, value 0x0. 16:44:53.1876 [WARNING] sysbus: [cpu0: 0x11EC] WriteDoubleWord to non existing peripheral at 0x4000D4A4, value 0x0. 16:44:53.1876 [WARNING] sysbus: [cpu0: 0x11EC] WriteDoubleWord to non existing peripheral at 0x4000D4A8, value 0x0. 16:44:53.1876 [WARNING] sysbus: [cpu0: 0x11EC] WriteDoubleWord to non existing peripheral at 0x4000D4AC, value 0x0. 16:44:53.1876 [WARNING] sysbus: [cpu0: 0x11EC] WriteDoubleWord to non existing peripheral at 0x4000D4B0, value 0x0. 16:44:53.1876 [WARNING] sysbus: [cpu0: 0x11EC] WriteDoubleWord to non existing peripheral at 0x4000D4B4, value 0x0. 16:44:53.1877 [WARNING] sysbus: [cpu0: 0x11EC] WriteDoubleWord to non existing peripheral at 0x4000D4B8, value 0x0. 16:44:53.1877 [WARNING] sysbus: [cpu0: 0x11EC] WriteDoubleWord to non existing peripheral at 0x4000D4BC, value 0x0. 16:44:53.1900 [WARNING] Pause on match was requested, but the matching string had already been printed when the assertion was made. Pause time will not be deterministic. 16:44:53.1916 [INFO] frdm_k64f: Machine paused. 16:44:53.1955 [INFO] frdm_k64f: Machine resumed. 16:44:53.1981 [INFO] uart0: [host: 0.57s (+15.82ms)|virt: 0.32ms (+0.12ms)] [5;1HPhilosopher 4 [C:-1] STARVING 16:44:53.2020 [INFO] uart0: [host: 0.58s (+3.2ms)|virt: 0.32ms (+0s)] [5;1HPhilosopher 4 [C:-1] HOLDING ONE FORK 16:44:53.2041 [INFO] uart0: [host: 0.58s (+2.82ms)|virt: 0.4ms (+85µs)] [5;1HPhilosopher 4 [C:-1] EATING [ 25 ms ] 16:44:53.2045 [WARNING] sysbus: [cpu0: 0x1044] WriteDoubleWord to non existing peripheral at 0x4000D4B0, value 0x20000000. 16:44:53.2045 [WARNING] sysbus: [cpu0: 0x1044] WriteDoubleWord to non existing peripheral at 0x4000D4B4, value 0x2002FFFF. 16:44:53.2045 [WARNING] sysbus: [cpu0: 0x1044] WriteDoubleWord to non existing peripheral at 0x4000D4B8, value 0x590410. 16:44:53.2045 [WARNING] sysbus: [cpu0: 0x1044] WriteDoubleWord to non existing peripheral at 0x4000D4BC, value 0x1. 16:44:53.2045 [WARNING] sysbus: [cpu0: 0x1044] WriteDoubleWord to non existing peripheral at 0x4000D440, value 0x20000000. 16:44:53.2046 [WARNING] sysbus: [cpu0: 0x1044] WriteDoubleWord to non existing peripheral at 0x4000D444, value 0x2002FFFF. 16:44:53.2046 [WARNING] sysbus: [cpu0: 0x1044] WriteDoubleWord to non existing peripheral at 0x4000D448, value 0x590410. 16:44:53.2046 [WARNING] sysbus: [cpu0: 0x1044] WriteDoubleWord to non existing peripheral at 0x4000D44C, value 0x1. 16:44:53.2046 [WARNING] sysbus: [cpu0: 0x1044] WriteDoubleWord to non existing peripheral at 0x4000D450, value 0x20004140. 16:44:53.2046 [WARNING] sysbus: [cpu0: 0x1044] WriteDoubleWord to non existing peripheral at 0x4000D454, value 0x2002FFFF. 16:44:53.2046 [WARNING] sysbus: [cpu0: 0x1044] WriteDoubleWord to non existing peripheral at 0x4000D458, value 0x590410. 16:44:53.2046 [WARNING] sysbus: [cpu0: 0x1044] WriteDoubleWord to non existing peripheral at 0x4000D45C, value 0x1. 16:44:53.2046 [WARNING] sysbus: [cpu0: 0x1044] WriteDoubleWord to non existing peripheral at 0x4000D440, value 0x20000000. 16:44:53.2046 [WARNING] sysbus: [cpu0: 0x1044] WriteDoubleWord to non existing peripheral at 0x4000D444, value 0x200040FF. 16:44:53.2047 [WARNING] sysbus: [cpu0: 0x1044] WriteDoubleWord to non existing peripheral at 0x4000D448, value 0x590410. 16:44:53.2047 [WARNING] sysbus: [cpu0: 0x1044] WriteDoubleWord to non existing peripheral at 0x4000D44C, value 0x1. 16:44:53.2047 [WARNING] sysbus: [cpu0: 0x1044] WriteDoubleWord to non existing peripheral at 0x4000D460, value 0x20004100. 16:44:53.2047 [WARNING] sysbus: [cpu0: 0x1044] WriteDoubleWord to non existing peripheral at 0x4000D464, value 0x2000413F. 16:44:53.2047 [WARNING] sysbus: [cpu0: 0x1044] WriteDoubleWord to non existing peripheral at 0x4000D468, value 0x208208. 16:44:53.2047 [WARNING] sysbus: [cpu0: 0x1044] WriteDoubleWord to non existing peripheral at 0x4000D46C, value 0x1. 16:44:53.2047 [WARNING] sysbus: [cpu0: 0x11EC] WriteDoubleWord to non existing peripheral at 0x4000D470, value 0x0. 16:44:53.2047 [WARNING] sysbus: [cpu0: 0x11EC] WriteDoubleWord to non existing peripheral at 0x4000D474, value 0x0. 16:44:53.2047 [WARNING] sysbus: [cpu0: 0x11EC] WriteDoubleWord to non existing peripheral at 0x4000D478, value 0x0. 16:44:53.2047 [WARNING] sysbus: [cpu0: 0x11EC] WriteDoubleWord to non existing peripheral at 0x4000D47C, value 0x0. 16:44:53.2048 [WARNING] sysbus: [cpu0: 0x11EC] WriteDoubleWord to non existing peripheral at 0x4000D480, value 0x0. 16:44:53.2048 [WARNING] sysbus: [cpu0: 0x11EC] WriteDoubleWord to non existing peripheral at 0x4000D484, value 0x0. 16:44:53.2055 [WARNING] sysbus: [cpu0: 0x11EC] WriteDoubleWord to non existing peripheral at 0x4000D488, value 0x0. 16:44:53.2055 [WARNING] sysbus: [cpu0: 0x11EC] WriteDoubleWord to non existing peripheral at 0x4000D48C, value 0x0. 16:44:53.2056 [WARNING] sysbus: [cpu0: 0x11EC] WriteDoubleWord to non existing peripheral at 0x4000D490, value 0x0. 16:44:53.2056 [WARNING] sysbus: [cpu0: 0x11EC] WriteDoubleWord to non existing peripheral at 0x4000D494, value 0x0. 16:44:53.2056 [WARNING] sysbus: [cpu0: 0x11EC] WriteDoubleWord to non existing peripheral at 0x4000D498, value 0x0. 16:44:53.2056 [WARNING] sysbus: [cpu0: 0x11EC] WriteDoubleWord to non existing peripheral at 0x4000D49C, value 0x0. 16:44:53.2056 [WARNING] sysbus: [cpu0: 0x11EC] WriteDoubleWord to non existing peripheral at 0x4000D4A0, value 0x0. 16:44:53.2057 [WARNING] sysbus: [cpu0: 0x11EC] WriteDoubleWord to non existing peripheral at 0x4000D4A4, value 0x0. 16:44:53.2057 [WARNING] sysbus: [cpu0: 0x11EC] WriteDoubleWord to non existing peripheral at 0x4000D4A8, value 0x0. 16:44:53.2057 [WARNING] sysbus: [cpu0: 0x11EC] WriteDoubleWord to non existing peripheral at 0x4000D4AC, value 0x0. 16:44:53.2057 [WARNING] sysbus: [cpu0: 0x11EC] WriteDoubleWord to non existing peripheral at 0x4000D4B0, value 0x0. 16:44:53.2057 [WARNING] sysbus: [cpu0: 0x11EC] WriteDoubleWord to non existing peripheral at 0x4000D4B4, value 0x0. 16:44:53.2058 [WARNING] sysbus: [cpu0: 0x11EC] WriteDoubleWord to non existing peripheral at 0x4000D4B8, value 0x0. 16:44:53.2058 [WARNING] sysbus: [cpu0: 0x11EC] WriteDoubleWord to non existing peripheral at 0x4000D4BC, value 0x0. 16:44:53.2062 [WARNING] sysbus: [cpu0: 0x1044] WriteDoubleWord to non existing peripheral at 0x4000D4B0, value 0x20000000. 16:44:53.2062 [WARNING] sysbus: [cpu0: 0x1044] WriteDoubleWord to non existing peripheral at 0x4000D4B4, value 0x2002FFFF. 16:44:53.2062 [WARNING] sysbus: [cpu0: 0x1044] WriteDoubleWord to non existing peripheral at 0x4000D4B8, value 0x590410. 16:44:53.2063 [WARNING] sysbus: [cpu0: 0x1044] WriteDoubleWord to non existing peripheral at 0x4000D4BC, value 0x1. 16:44:53.2063 [WARNING] sysbus: [cpu0: 0x1044] WriteDoubleWord to non existing peripheral at 0x4000D440, value 0x20000000. 16:44:53.2063 [WARNING] sysbus: [cpu0: 0x1044] WriteDoubleWord to non existing peripheral at 0x4000D444, value 0x2002FFFF. 16:44:53.2063 [WARNING] sysbus: [cpu0: 0x1044] WriteDoubleWord to non existing peripheral at 0x4000D448, value 0x590410. 16:44:53.2063 [WARNING] sysbus: [cpu0: 0x1044] WriteDoubleWord to non existing peripheral at 0x4000D44C, value 0x1. 16:44:53.2064 [WARNING] sysbus: [cpu0: 0x1044] WriteDoubleWord to non existing peripheral at 0x4000D450, value 0x20002F40. 16:44:53.2064 [WARNING] sysbus: [cpu0: 0x1044] WriteDoubleWord to non existing peripheral at 0x4000D454, value 0x2002FFFF. 16:44:53.2064 [WARNING] sysbus: [cpu0: 0x1044] WriteDoubleWord to non existing peripheral at 0x4000D458, value 0x590410. 16:44:53.2065 [WARNING] sysbus: [cpu0: 0x1044] WriteDoubleWord to non existing peripheral at 0x4000D45C, value 0x1. 16:44:53.2066 [WARNING] sysbus: [cpu0: 0x1044] WriteDoubleWord to non existing peripheral at 0x4000D440, value 0x20000000. 16:44:53.2066 [WARNING] sysbus: [cpu0: 0x1044] WriteDoubleWord to non existing peripheral at 0x4000D444, value 0x20002EFF. 16:44:53.2066 [WARNING] sysbus: [cpu0: 0x1044] WriteDoubleWord to non existing peripheral at 0x4000D448, value 0x590410. 16:44:53.2066 [WARNING] sysbus: [cpu0: 0x1044] WriteDoubleWord to non existing peripheral at 0x4000D44C, value 0x1. 16:44:53.2066 [WARNING] sysbus: [cpu0: 0x1044] WriteDoubleWord to non existing peripheral at 0x4000D460, value 0x20002F00. 16:44:53.2066 [WARNING] sysbus: [cpu0: 0x1044] WriteDoubleWord to non existing peripheral at 0x4000D464, value 0x20002F3F. 16:44:53.2066 [WARNING] sysbus: [cpu0: 0x1044] WriteDoubleWord to non existing peripheral at 0x4000D468, value 0x208208. 16:44:53.2066 [WARNING] sysbus: [cpu0: 0x1044] WriteDoubleWord to non existing peripheral at 0x4000D46C, value 0x1. 16:44:53.2066 [WARNING] sysbus: [cpu0: 0x11EC] WriteDoubleWord to non existing peripheral at 0x4000D470, value 0x0. 16:44:53.2067 [WARNING] sysbus: [cpu0: 0x11EC] WriteDoubleWord to non existing peripheral at 0x4000D474, value 0x0. 16:44:53.2067 [WARNING] sysbus: [cpu0: 0x11EC] WriteDoubleWord to non existing peripheral at 0x4000D478, value 0x0. 16:44:53.2067 [WARNING] sysbus: [cpu0: 0x11EC] WriteDoubleWord to non existing peripheral at 0x4000D47C, value 0x0. 16:44:53.2067 [WARNING] sysbus: [cpu0: 0x11EC] WriteDoubleWord to non existing peripheral at 0x4000D480, value 0x0. 16:44:53.2067 [WARNING] sysbus: [cpu0: 0x11EC] WriteDoubleWord to non existing peripheral at 0x4000D484, value 0x0. 16:44:53.2067 [WARNING] sysbus: [cpu0: 0x11EC] WriteDoubleWord to non existing peripheral at 0x4000D488, value 0x0. 16:44:53.2067 [WARNING] sysbus: [cpu0: 0x11EC] WriteDoubleWord to non existing peripheral at 0x4000D48C, value 0x0. 16:44:53.2067 [WARNING] sysbus: [cpu0: 0x11EC] WriteDoubleWord to non existing peripheral at 0x4000D490, value 0x0. 16:44:53.2067 [WARNING] sysbus: [cpu0: 0x11EC] WriteDoubleWord to non existing peripheral at 0x4000D494, value 0x0. 16:44:53.2067 [WARNING] sysbus: [cpu0: 0x11EC] WriteDoubleWord to non existing peripheral at 0x4000D498, value 0x0. 16:44:53.2068 [WARNING] sysbus: [cpu0: 0x11EC] WriteDoubleWord to non existing peripheral at 0x4000D49C, value 0x0. 16:44:53.2068 [WARNING] sysbus: [cpu0: 0x11EC] WriteDoubleWord to non existing peripheral at 0x4000D4A0, value 0x0. 16:44:53.2068 [WARNING] sysbus: [cpu0: 0x11EC] WriteDoubleWord to non existing peripheral at 0x4000D4A4, value 0x0. 16:44:53.2068 [WARNING] sysbus: [cpu0: 0x11EC] WriteDoubleWord to non existing peripheral at 0x4000D4A8, value 0x0. 16:44:53.2068 [WARNING] sysbus: [cpu0: 0x11EC] WriteDoubleWord to non existing peripheral at 0x4000D4AC, value 0x0. 16:44:53.2068 [WARNING] sysbus: [cpu0: 0x11EC] WriteDoubleWord to non existing peripheral at 0x4000D4B0, value 0x0. 16:44:53.2068 [WARNING] sysbus: [cpu0: 0x11EC] WriteDoubleWord to non existing peripheral at 0x4000D4B4, value 0x0. 16:44:53.2068 [WARNING] sysbus: [cpu0: 0x11EC] WriteDoubleWord to non existing peripheral at 0x4000D4B8, value 0x0. 16:44:53.2068 [WARNING] sysbus: [cpu0: 0x11EC] WriteDoubleWord to non existing peripheral at 0x4000D4BC, value 0x0. 16:44:53.2094 [INFO] uart0: [host: 0.58s (+5.22ms)|virt: 0.44ms (+37µs)] [6;1HPhilosopher 5 [C:-2] STARVING 16:44:53.2157 [INFO] uart0: [host: 0.59s (+4.88ms)|virt: 0.5ms (+63µs)] [6;1HPhilosopher 5 [C:-2] HOLDING ONE FORK 16:44:53.2158 [WARNING] sysbus: [cpu0: 0x1044] WriteDoubleWord to non existing peripheral at 0x4000D4B0, value 0x20000000. 16:44:53.2158 [WARNING] sysbus: [cpu0: 0x1044] WriteDoubleWord to non existing peripheral at 0x4000D4B4, value 0x2002FFFF. 16:44:53.2159 [WARNING] sysbus: [cpu0: 0x1044] WriteDoubleWord to non existing peripheral at 0x4000D4B8, value 0x590410. 16:44:53.2159 [WARNING] sysbus: [cpu0: 0x1044] WriteDoubleWord to non existing peripheral at 0x4000D4BC, value 0x1. 16:44:53.2159 [WARNING] sysbus: [cpu0: 0x1044] WriteDoubleWord to non existing peripheral at 0x4000D440, value 0x20000000. 16:44:53.2159 [WARNING] sysbus: [cpu0: 0x1044] WriteDoubleWord to non existing peripheral at 0x4000D444, value 0x2002FFFF. 16:44:53.2160 [WARNING] sysbus: [cpu0: 0x1044] WriteDoubleWord to non existing peripheral at 0x4000D448, value 0x590410. 16:44:53.2160 [WARNING] sysbus: [cpu0: 0x1044] WriteDoubleWord to non existing peripheral at 0x4000D44C, value 0x1. 16:44:53.2160 [WARNING] sysbus: [cpu0: 0x1044] WriteDoubleWord to non existing peripheral at 0x4000D450, value 0x20004140. 16:44:53.2160 [WARNING] sysbus: [cpu0: 0x1044] WriteDoubleWord to non existing peripheral at 0x4000D454, value 0x2002FFFF. 16:44:53.2161 [WARNING] sysbus: [cpu0: 0x1044] WriteDoubleWord to non existing peripheral at 0x4000D458, value 0x590410. 16:44:53.2161 [WARNING] sysbus: [cpu0: 0x1044] WriteDoubleWord to non existing peripheral at 0x4000D45C, value 0x1. 16:44:53.2161 [WARNING] sysbus: [cpu0: 0x1044] WriteDoubleWord to non existing peripheral at 0x4000D440, value 0x20000000. 16:44:53.2161 [WARNING] sysbus: [cpu0: 0x1044] WriteDoubleWord to non existing peripheral at 0x4000D444, value 0x200040FF. 16:44:53.2161 [WARNING] sysbus: [cpu0: 0x1044] WriteDoubleWord to non existing peripheral at 0x4000D448, value 0x590410. 16:44:53.2162 [WARNING] sysbus: [cpu0: 0x1044] WriteDoubleWord to non existing peripheral at 0x4000D44C, value 0x1. 16:44:53.2162 [WARNING] sysbus: [cpu0: 0x1044] WriteDoubleWord to non existing peripheral at 0x4000D460, value 0x20004100. 16:44:53.2162 [WARNING] sysbus: [cpu0: 0x1044] WriteDoubleWord to non existing peripheral at 0x4000D464, value 0x2000413F. 16:44:53.2162 [WARNING] sysbus: [cpu0: 0x1044] WriteDoubleWord to non existing peripheral at 0x4000D468, value 0x208208. 16:44:53.2163 [WARNING] sysbus: [cpu0: 0x1044] WriteDoubleWord to non existing peripheral at 0x4000D46C, value 0x1. 16:44:53.2163 [WARNING] sysbus: [cpu0: 0x11EC] WriteDoubleWord to non existing peripheral at 0x4000D470, value 0x0. 16:44:53.2163 [WARNING] sysbus: [cpu0: 0x11EC] WriteDoubleWord to non existing peripheral at 0x4000D474, value 0x0. 16:44:53.2163 [WARNING] sysbus: [cpu0: 0x11EC] WriteDoubleWord to non existing peripheral at 0x4000D478, value 0x0. 16:44:53.2164 [WARNING] sysbus: [cpu0: 0x11EC] WriteDoubleWord to non existing peripheral at 0x4000D47C, value 0x0. 16:44:53.2164 [WARNING] sysbus: [cpu0: 0x11EC] WriteDoubleWord to non existing peripheral at 0x4000D480, value 0x0. 16:44:53.2164 [WARNING] sysbus: [cpu0: 0x11EC] WriteDoubleWord to non existing peripheral at 0x4000D484, value 0x0. 16:44:53.2164 [WARNING] sysbus: [cpu0: 0x11EC] WriteDoubleWord to non existing peripheral at 0x4000D488, value 0x0. 16:44:53.2165 [WARNING] sysbus: [cpu0: 0x11EC] WriteDoubleWord to non existing peripheral at 0x4000D48C, value 0x0. 16:44:53.2165 [WARNING] sysbus: [cpu0: 0x11EC] WriteDoubleWord to non existing peripheral at 0x4000D490, value 0x0. 16:44:53.2165 [WARNING] sysbus: [cpu0: 0x11EC] WriteDoubleWord to non existing peripheral at 0x4000D494, value 0x0. 16:44:53.2165 [WARNING] sysbus: [cpu0: 0x11EC] WriteDoubleWord to non existing peripheral at 0x4000D498, value 0x0. 16:44:53.2166 [WARNING] sysbus: [cpu0: 0x11EC] WriteDoubleWord to non existing peripheral at 0x4000D49C, value 0x0. 16:44:53.2166 [WARNING] sysbus: [cpu0: 0x11EC] WriteDoubleWord to non existing peripheral at 0x4000D4A0, value 0x0. 16:44:53.2166 [WARNING] sysbus: [cpu0: 0x11EC] WriteDoubleWord to non existing peripheral at 0x4000D4A4, value 0x0. 16:44:53.2166 [WARNING] sysbus: [cpu0: 0x11EC] WriteDoubleWord to non existing peripheral at 0x4000D4A8, value 0x0. 16:44:53.2167 [WARNING] sysbus: [cpu0: 0x11EC] WriteDoubleWord to non existing peripheral at 0x4000D4AC, value 0x0. 16:44:53.2167 [WARNING] sysbus: [cpu0: 0x11EC] WriteDoubleWord to non existing peripheral at 0x4000D4B0, value 0x0. 16:44:53.2167 [WARNING] sysbus: [cpu0: 0x11EC] WriteDoubleWord to non existing peripheral at 0x4000D4B4, value 0x0. 16:44:53.2167 [WARNING] sysbus: [cpu0: 0x11EC] WriteDoubleWord to non existing peripheral at 0x4000D4B8, value 0x0. 16:44:53.2167 [WARNING] sysbus: [cpu0: 0x11EC] WriteDoubleWord to non existing peripheral at 0x4000D4BC, value 0x0. 16:44:53.2168 [WARNING] sysbus: [cpu0: 0x1044] WriteDoubleWord to non existing peripheral at 0x4000D4B0, value 0x20000000. 16:44:53.2168 [WARNING] sysbus: [cpu0: 0x1044] WriteDoubleWord to non existing peripheral at 0x4000D4B4, value 0x2002FFFF. 16:44:53.2168 [WARNING] sysbus: [cpu0: 0x1044] WriteDoubleWord to non existing peripheral at 0x4000D4B8, value 0x590410. 16:44:53.2169 [WARNING] sysbus: [cpu0: 0x1044] WriteDoubleWord to non existing peripheral at 0x4000D4BC, value 0x1. 16:44:53.2169 [WARNING] sysbus: [cpu0: 0x1044] WriteDoubleWord to non existing peripheral at 0x4000D440, value 0x20000000. 16:44:53.2169 [WARNING] sysbus: [cpu0: 0x1044] WriteDoubleWord to non existing peripheral at 0x4000D444, value 0x2002FFFF. 16:44:53.2169 [WARNING] sysbus: [cpu0: 0x1044] WriteDoubleWord to non existing peripheral at 0x4000D448, value 0x590410. 16:44:53.2170 [WARNING] sysbus: [cpu0: 0x1044] WriteDoubleWord to non existing peripheral at 0x4000D44C, value 0x1. 16:44:53.2171 [WARNING] sysbus: [cpu0: 0x1044] WriteDoubleWord to non existing peripheral at 0x4000D450, value 0x20001EC0. 16:44:53.2171 [WARNING] sysbus: [cpu0: 0x1044] WriteDoubleWord to non existing peripheral at 0x4000D454, value 0x2002FFFF. 16:44:53.2171 [WARNING] sysbus: [cpu0: 0x1044] WriteDoubleWord to non existing peripheral at 0x4000D458, value 0x590410. 16:44:53.2171 [WARNING] sysbus: [cpu0: 0x1044] WriteDoubleWord to non existing peripheral at 0x4000D45C, value 0x1. 16:44:53.2171 [WARNING] sysbus: [cpu0: 0x1044] WriteDoubleWord to non existing peripheral at 0x4000D440, value 0x20000000. 16:44:53.2171 [WARNING] sysbus: [cpu0: 0x1044] WriteDoubleWord to non existing peripheral at 0x4000D444, value 0x20001E7F. 16:44:53.2171 [WARNING] sysbus: [cpu0: 0x1044] WriteDoubleWord to non existing peripheral at 0x4000D448, value 0x590410. 16:44:53.2171 [WARNING] sysbus: [cpu0: 0x1044] WriteDoubleWord to non existing peripheral at 0x4000D44C, value 0x1. 16:44:53.2171 [WARNING] sysbus: [cpu0: 0x1044] WriteDoubleWord to non existing peripheral at 0x4000D460, value 0x20001E80. 16:44:53.2171 [WARNING] sysbus: [cpu0: 0x1044] WriteDoubleWord to non existing peripheral at 0x4000D464, value 0x20001EBF. 16:44:53.2172 [WARNING] sysbus: [cpu0: 0x1044] WriteDoubleWord to non existing peripheral at 0x4000D468, value 0x208208. 16:44:53.2172 [WARNING] sysbus: [cpu0: 0x1044] WriteDoubleWord to non existing peripheral at 0x4000D46C, value 0x1. 16:44:53.2172 [WARNING] sysbus: [cpu0: 0x11EC] WriteDoubleWord to non existing peripheral at 0x4000D470, value 0x0. 16:44:53.2172 [WARNING] sysbus: [cpu0: 0x11EC] WriteDoubleWord to non existing peripheral at 0x4000D474, value 0x0. 16:44:53.2172 [WARNING] sysbus: [cpu0: 0x11EC] WriteDoubleWord to non existing peripheral at 0x4000D478, value 0x0. 16:44:53.2172 [WARNING] sysbus: [cpu0: 0x11EC] WriteDoubleWord to non existing peripheral at 0x4000D47C, value 0x0. 16:44:53.2172 [WARNING] sysbus: [cpu0: 0x11EC] WriteDoubleWord to non existing peripheral at 0x4000D480, value 0x0. 16:44:53.2172 [WARNING] sysbus: [cpu0: 0x11EC] WriteDoubleWord to non existing peripheral at 0x4000D484, value 0x0. 16:44:53.2172 [WARNING] sysbus: [cpu0: 0x11EC] WriteDoubleWord to non existing peripheral at 0x4000D488, value 0x0. 16:44:53.2172 [WARNING] sysbus: [cpu0: 0x11EC] WriteDoubleWord to non existing peripheral at 0x4000D48C, value 0x0. 16:44:53.2173 [WARNING] sysbus: [cpu0: 0x11EC] WriteDoubleWord to non existing peripheral at 0x4000D490, value 0x0. 16:44:53.2173 [WARNING] sysbus: [cpu0: 0x11EC] WriteDoubleWord to non existing peripheral at 0x4000D494, value 0x0. 16:44:53.2173 [WARNING] sysbus: [cpu0: 0x11EC] WriteDoubleWord to non existing peripheral at 0x4000D498, value 0x0. 16:44:53.2173 [WARNING] sysbus: [cpu0: 0x11EC] WriteDoubleWord to non existing peripheral at 0x4000D49C, value 0x0. 16:44:53.2173 [WARNING] sysbus: [cpu0: 0x11EC] WriteDoubleWord to non existing peripheral at 0x4000D4A0, value 0x0. 16:44:53.2173 [WARNING] sysbus: [cpu0: 0x11EC] WriteDoubleWord to non existing peripheral at 0x4000D4A4, value 0x0. 16:44:53.2173 [WARNING] sysbus: [cpu0: 0x11EC] WriteDoubleWord to non existing peripheral at 0x4000D4A8, value 0x0. 16:44:53.2173 [WARNING] sysbus: [cpu0: 0x11EC] WriteDoubleWord to non existing peripheral at 0x4000D4AC, value 0x0. 16:44:53.2173 [WARNING] sysbus: [cpu0: 0x11EC] WriteDoubleWord to non existing peripheral at 0x4000D4B0, value 0x0. 16:44:53.2173 [WARNING] sysbus: [cpu0: 0x11EC] WriteDoubleWord to non existing peripheral at 0x4000D4B4, value 0x0. 16:44:53.2174 [WARNING] sysbus: [cpu0: 0x11EC] WriteDoubleWord to non existing peripheral at 0x4000D4B8, value 0x0. 16:44:53.2174 [WARNING] sysbus: [cpu0: 0x11EC] WriteDoubleWord to non existing peripheral at 0x4000D4BC, value 0x0. 16:44:53.2213 [INFO] uart0: [host: 0.6s (+7.08ms)|virt: 0.53ms (+29µs)] [4;1HPhilosopher 3 [P: 0] STARVING 16:44:53.2255 [INFO] uart0: [host: 0.6s (+4.18ms)|virt: 0.6ms (+71µs)] [4;1HPhilosopher 3 [P: 0] HOLDING ONE FORK 16:44:53.2257 [WARNING] sysbus: [cpu0: 0x1044] WriteDoubleWord to non existing peripheral at 0x4000D4B0, value 0x20000000. 16:44:53.2257 [WARNING] sysbus: [cpu0: 0x1044] WriteDoubleWord to non existing peripheral at 0x4000D4B4, value 0x2002FFFF. 16:44:53.2257 [WARNING] sysbus: [cpu0: 0x1044] WriteDoubleWord to non existing peripheral at 0x4000D4B8, value 0x590410. 16:44:53.2257 [WARNING] sysbus: [cpu0: 0x1044] WriteDoubleWord to non existing peripheral at 0x4000D4BC, value 0x1. 16:44:53.2257 [WARNING] sysbus: [cpu0: 0x1044] WriteDoubleWord to non existing peripheral at 0x4000D440, value 0x20000000. 16:44:53.2258 [WARNING] sysbus: [cpu0: 0x1044] WriteDoubleWord to non existing peripheral at 0x4000D444, value 0x2002FFFF. 16:44:53.2258 [WARNING] sysbus: [cpu0: 0x1044] WriteDoubleWord to non existing peripheral at 0x4000D448, value 0x590410. 16:44:53.2258 [WARNING] sysbus: [cpu0: 0x1044] WriteDoubleWord to non existing peripheral at 0x4000D44C, value 0x1. 16:44:53.2258 [WARNING] sysbus: [cpu0: 0x1044] WriteDoubleWord to non existing peripheral at 0x4000D450, value 0x20001680. 16:44:53.2258 [WARNING] sysbus: [cpu0: 0x1044] WriteDoubleWord to non existing peripheral at 0x4000D454, value 0x2002FFFF. 16:44:53.2258 [WARNING] sysbus: [cpu0: 0x1044] WriteDoubleWord to non existing peripheral at 0x4000D458, value 0x590410. 16:44:53.2258 [WARNING] sysbus: [cpu0: 0x1044] WriteDoubleWord to non existing peripheral at 0x4000D45C, value 0x1. 16:44:53.2258 [WARNING] sysbus: [cpu0: 0x1044] WriteDoubleWord to non existing peripheral at 0x4000D440, value 0x20000000. 16:44:53.2258 [WARNING] sysbus: [cpu0: 0x1044] WriteDoubleWord to non existing peripheral at 0x4000D444, value 0x2000163F. 16:44:53.2259 [WARNING] sysbus: [cpu0: 0x1044] WriteDoubleWord to non existing peripheral at 0x4000D448, value 0x590410. 16:44:53.2259 [WARNING] sysbus: [cpu0: 0x1044] WriteDoubleWord to non existing peripheral at 0x4000D44C, value 0x1. 16:44:53.2259 [WARNING] sysbus: [cpu0: 0x1044] WriteDoubleWord to non existing peripheral at 0x4000D460, value 0x20001640. 16:44:53.2259 [WARNING] sysbus: [cpu0: 0x1044] WriteDoubleWord to non existing peripheral at 0x4000D464, value 0x2000167F. 16:44:53.2259 [WARNING] sysbus: [cpu0: 0x1044] WriteDoubleWord to non existing peripheral at 0x4000D468, value 0x208208. 16:44:53.2259 [WARNING] sysbus: [cpu0: 0x1044] WriteDoubleWord to non existing peripheral at 0x4000D46C, value 0x1. 16:44:53.2259 [WARNING] sysbus: [cpu0: 0x11EC] WriteDoubleWord to non existing peripheral at 0x4000D470, value 0x0. 16:44:53.2259 [WARNING] sysbus: [cpu0: 0x11EC] WriteDoubleWord to non existing peripheral at 0x4000D474, value 0x0. 16:44:53.2259 [WARNING] sysbus: [cpu0: 0x11EC] WriteDoubleWord to non existing peripheral at 0x4000D478, value 0x0. 16:44:53.2260 [WARNING] sysbus: [cpu0: 0x11EC] WriteDoubleWord to non existing peripheral at 0x4000D47C, value 0x0. 16:44:53.2260 [WARNING] sysbus: [cpu0: 0x11EC] WriteDoubleWord to non existing peripheral at 0x4000D480, value 0x0. 16:44:53.2260 [WARNING] sysbus: [cpu0: 0x11EC] WriteDoubleWord to non existing peripheral at 0x4000D484, value 0x0. 16:44:53.2260 [WARNING] sysbus: [cpu0: 0x11EC] WriteDoubleWord to non existing peripheral at 0x4000D488, value 0x0. 16:44:53.2267 [WARNING] sysbus: [cpu0: 0x11EC] WriteDoubleWord to non existing peripheral at 0x4000D48C, value 0x0. 16:44:53.2267 [WARNING] sysbus: [cpu0: 0x11EC] WriteDoubleWord to non existing peripheral at 0x4000D490, value 0x0. 16:44:53.2267 [WARNING] sysbus: [cpu0: 0x11EC] WriteDoubleWord to non existing peripheral at 0x4000D494, value 0x0. 16:44:53.2267 [WARNING] sysbus: [cpu0: 0x11EC] WriteDoubleWord to non existing peripheral at 0x4000D498, value 0x0. 16:44:53.2268 [WARNING] sysbus: [cpu0: 0x11EC] WriteDoubleWord to non existing peripheral at 0x4000D49C, value 0x0. 16:44:53.2268 [WARNING] sysbus: [cpu0: 0x11EC] WriteDoubleWord to non existing peripheral at 0x4000D4A0, value 0x0. 16:44:53.2268 [WARNING] sysbus: [cpu0: 0x11EC] WriteDoubleWord to non existing peripheral at 0x4000D4A4, value 0x0. 16:44:53.2268 [WARNING] sysbus: [cpu0: 0x11EC] WriteDoubleWord to non existing peripheral at 0x4000D4A8, value 0x0. 16:44:53.2268 [WARNING] sysbus: [cpu0: 0x11EC] WriteDoubleWord to non existing peripheral at 0x4000D4AC, value 0x0. 16:44:53.2268 [WARNING] sysbus: [cpu0: 0x11EC] WriteDoubleWord to non existing peripheral at 0x4000D4B0, value 0x0. 16:44:53.2268 [WARNING] sysbus: [cpu0: 0x11EC] WriteDoubleWord to non existing peripheral at 0x4000D4B4, value 0x0. 16:44:53.2268 [WARNING] sysbus: [cpu0: 0x11EC] WriteDoubleWord to non existing peripheral at 0x4000D4B8, value 0x0. 16:44:53.2268 [WARNING] sysbus: [cpu0: 0x11EC] WriteDoubleWord to non existing peripheral at 0x4000D4BC, value 0x0. 16:44:53.2313 [INFO] uart0: [host: 0.6s (+4.38ms)|virt: 0.62ms (+16µs)] [3;1HPhilosopher 2 [P: 1] STARVING 16:44:53.2352 [INFO] uart0: [host: 0.61s (+5.35ms)|virt: 0.7ms (+84µs)] [3;1HPhilosopher 2 [P: 1] HOLDING ONE FORK 16:44:53.2369 [WARNING] sysbus: [cpu0: 0x1044] WriteDoubleWord to non existing peripheral at 0x4000D4B0, value 0x20000000. 16:44:53.2369 [WARNING] sysbus: [cpu0: 0x1044] WriteDoubleWord to non existing peripheral at 0x4000D4B4, value 0x2002FFFF. 16:44:53.2370 [WARNING] sysbus: [cpu0: 0x1044] WriteDoubleWord to non existing peripheral at 0x4000D4B8, value 0x590410. 16:44:53.2370 [WARNING] sysbus: [cpu0: 0x1044] WriteDoubleWord to non existing peripheral at 0x4000D4BC, value 0x1. 16:44:53.2371 [WARNING] sysbus: [cpu0: 0x1044] WriteDoubleWord to non existing peripheral at 0x4000D440, value 0x20000000. 16:44:53.2371 [WARNING] sysbus: [cpu0: 0x1044] WriteDoubleWord to non existing peripheral at 0x4000D444, value 0x2002FFFF. 16:44:53.2372 [WARNING] sysbus: [cpu0: 0x1044] WriteDoubleWord to non existing peripheral at 0x4000D448, value 0x590410. 16:44:53.2372 [WARNING] sysbus: [cpu0: 0x1044] WriteDoubleWord to non existing peripheral at 0x4000D44C, value 0x1. 16:44:53.2373 [WARNING] sysbus: [cpu0: 0x1044] WriteDoubleWord to non existing peripheral at 0x4000D450, value 0x20000E40. 16:44:53.2373 [WARNING] sysbus: [cpu0: 0x1044] WriteDoubleWord to non existing peripheral at 0x4000D454, value 0x2002FFFF. 16:44:53.2373 [WARNING] sysbus: [cpu0: 0x1044] WriteDoubleWord to non existing peripheral at 0x4000D458, value 0x590410. 16:44:53.2374 [WARNING] sysbus: [cpu0: 0x1044] WriteDoubleWord to non existing peripheral at 0x4000D45C, value 0x1. 16:44:53.2375 [WARNING] sysbus: [cpu0: 0x1044] WriteDoubleWord to non existing peripheral at 0x4000D440, value 0x20000000. 16:44:53.2375 [WARNING] sysbus: [cpu0: 0x1044] WriteDoubleWord to non existing peripheral at 0x4000D444, value 0x20000DFF. 16:44:53.2375 [WARNING] sysbus: [cpu0: 0x1044] WriteDoubleWord to non existing peripheral at 0x4000D448, value 0x590410. 16:44:53.2375 [WARNING] sysbus: [cpu0: 0x1044] WriteDoubleWord to non existing peripheral at 0x4000D44C, value 0x1. 16:44:53.2376 [WARNING] sysbus: [cpu0: 0x1044] WriteDoubleWord to non existing peripheral at 0x4000D460, value 0x20000E00. 16:44:53.2377 [WARNING] sysbus: [cpu0: 0x1044] WriteDoubleWord to non existing peripheral at 0x4000D464, value 0x20000E3F. 16:44:53.2377 [WARNING] sysbus: [cpu0: 0x1044] WriteDoubleWord to non existing peripheral at 0x4000D468, value 0x208208. 16:44:53.2377 [WARNING] sysbus: [cpu0: 0x1044] WriteDoubleWord to non existing peripheral at 0x4000D46C, value 0x1. 16:44:53.2378 [WARNING] sysbus: [cpu0: 0x11EC] WriteDoubleWord to non existing peripheral at 0x4000D470, value 0x0. 16:44:53.2378 [WARNING] sysbus: [cpu0: 0x11EC] WriteDoubleWord to non existing peripheral at 0x4000D474, value 0x0. 16:44:53.2378 [WARNING] sysbus: [cpu0: 0x11EC] WriteDoubleWord to non existing peripheral at 0x4000D478, value 0x0. 16:44:53.2379 [WARNING] sysbus: [cpu0: 0x11EC] WriteDoubleWord to non existing peripheral at 0x4000D47C, value 0x0. 16:44:53.2379 [WARNING] sysbus: [cpu0: 0x11EC] WriteDoubleWord to non existing peripheral at 0x4000D480, value 0x0. 16:44:53.2394 [WARNING] sysbus: [cpu0: 0x11EC] WriteDoubleWord to non existing peripheral at 0x4000D484, value 0x0. 16:44:53.2395 [WARNING] sysbus: [cpu0: 0x11EC] WriteDoubleWord to non existing peripheral at 0x4000D488, value 0x0. 16:44:53.2395 [WARNING] sysbus: [cpu0: 0x11EC] WriteDoubleWord to non existing peripheral at 0x4000D48C, value 0x0. 16:44:53.2395 [WARNING] sysbus: [cpu0: 0x11EC] WriteDoubleWord to non existing peripheral at 0x4000D490, value 0x0. 16:44:53.2396 [WARNING] sysbus: [cpu0: 0x11EC] WriteDoubleWord to non existing peripheral at 0x4000D494, value 0x0. 16:44:53.2396 [WARNING] sysbus: [cpu0: 0x11EC] WriteDoubleWord to non existing peripheral at 0x4000D498, value 0x0. 16:44:53.2397 [WARNING] sysbus: [cpu0: 0x11EC] WriteDoubleWord to non existing peripheral at 0x4000D49C, value 0x0. 16:44:53.2397 [WARNING] sysbus: [cpu0: 0x11EC] WriteDoubleWord to non existing peripheral at 0x4000D4A0, value 0x0. 16:44:53.2398 [WARNING] sysbus: [cpu0: 0x11EC] WriteDoubleWord to non existing peripheral at 0x4000D4A4, value 0x0. 16:44:53.2398 [WARNING] sysbus: [cpu0: 0x11EC] WriteDoubleWord to non existing peripheral at 0x4000D4A8, value 0x0. 16:44:53.2399 [WARNING] sysbus: [cpu0: 0x11EC] WriteDoubleWord to non existing peripheral at 0x4000D4AC, value 0x0. 16:44:53.2399 [WARNING] sysbus: [cpu0: 0x11EC] WriteDoubleWord to non existing peripheral at 0x4000D4B0, value 0x0. 16:44:53.2400 [WARNING] sysbus: [cpu0: 0x11EC] WriteDoubleWord to non existing peripheral at 0x4000D4B4, value 0x0. 16:44:53.2400 [WARNING] sysbus: [cpu0: 0x11EC] WriteDoubleWord to non existing peripheral at 0x4000D4B8, value 0x0. 16:44:53.2401 [WARNING] sysbus: [cpu0: 0x11EC] WriteDoubleWord to non existing peripheral at 0x4000D4BC, value 0x0. 16:44:53.2481 [INFO] uart0: [host: 0.62s (+12.83ms)|virt: 0.7ms (+3µs)] [2;1HPhilosopher 1 [P: 2] STARVING 16:44:53.2539 [INFO] uart0: [host: 0.63s (+5.13ms)|virt: 0.7ms (+0s)] [2;1HPhilosopher 1 [P: 2] HOLDING ONE FORK 16:44:53.2540 [WARNING] sysbus: [cpu0: 0x1044] WriteDoubleWord to non existing peripheral at 0x4000D4B0, value 0x20000000. 16:44:53.2540 [WARNING] sysbus: [cpu0: 0x1044] WriteDoubleWord to non existing peripheral at 0x4000D4B4, value 0x2002FFFF. 16:44:53.2540 [WARNING] sysbus: [cpu0: 0x1044] WriteDoubleWord to non existing peripheral at 0x4000D4B8, value 0x590410. 16:44:53.2540 [WARNING] sysbus: [cpu0: 0x1044] WriteDoubleWord to non existing peripheral at 0x4000D4BC, value 0x1. 16:44:53.2540 [WARNING] sysbus: [cpu0: 0x1044] WriteDoubleWord to non existing peripheral at 0x4000D440, value 0x20000000. 16:44:53.2540 [WARNING] sysbus: [cpu0: 0x1044] WriteDoubleWord to non existing peripheral at 0x4000D444, value 0x2002FFFF. 16:44:53.2540 [WARNING] sysbus: [cpu0: 0x1044] WriteDoubleWord to non existing peripheral at 0x4000D448, value 0x590410. 16:44:53.2540 [WARNING] sysbus: [cpu0: 0x1044] WriteDoubleWord to non existing peripheral at 0x4000D44C, value 0x1. 16:44:53.2540 [WARNING] sysbus: [cpu0: 0x1044] WriteDoubleWord to non existing peripheral at 0x4000D450, value 0x20000600. 16:44:53.2540 [WARNING] sysbus: [cpu0: 0x1044] WriteDoubleWord to non existing peripheral at 0x4000D454, value 0x2002FFFF. 16:44:53.2541 [WARNING] sysbus: [cpu0: 0x1044] WriteDoubleWord to non existing peripheral at 0x4000D458, value 0x590410. 16:44:53.2541 [WARNING] sysbus: [cpu0: 0x1044] WriteDoubleWord to non existing peripheral at 0x4000D45C, value 0x1. 16:44:53.2541 [WARNING] sysbus: [cpu0: 0x1044] WriteDoubleWord to non existing peripheral at 0x4000D440, value 0x20000000. 16:44:53.2541 [WARNING] sysbus: [cpu0: 0x1044] WriteDoubleWord to non existing peripheral at 0x4000D444, value 0x200005BF. 16:44:53.2541 [WARNING] sysbus: [cpu0: 0x1044] WriteDoubleWord to non existing peripheral at 0x4000D448, value 0x590410. 16:44:53.2541 [WARNING] sysbus: [cpu0: 0x1044] WriteDoubleWord to non existing peripheral at 0x4000D44C, value 0x1. 16:44:53.2541 [WARNING] sysbus: [cpu0: 0x1044] WriteDoubleWord to non existing peripheral at 0x4000D460, value 0x200005C0. 16:44:53.2541 [WARNING] sysbus: [cpu0: 0x1044] WriteDoubleWord to non existing peripheral at 0x4000D464, value 0x200005FF. 16:44:53.2541 [WARNING] sysbus: [cpu0: 0x1044] WriteDoubleWord to non existing peripheral at 0x4000D468, value 0x208208. 16:44:53.2541 [WARNING] sysbus: [cpu0: 0x1044] WriteDoubleWord to non existing peripheral at 0x4000D46C, value 0x1. 16:44:53.2542 [WARNING] sysbus: [cpu0: 0x11EC] WriteDoubleWord to non existing peripheral at 0x4000D470, value 0x0. 16:44:53.2542 [WARNING] sysbus: [cpu0: 0x11EC] WriteDoubleWord to non existing peripheral at 0x4000D474, value 0x0. 16:44:53.2542 [WARNING] sysbus: [cpu0: 0x11EC] WriteDoubleWord to non existing peripheral at 0x4000D478, value 0x0. 16:44:53.2542 [WARNING] sysbus: [cpu0: 0x11EC] WriteDoubleWord to non existing peripheral at 0x4000D47C, value 0x0. 16:44:53.2542 [WARNING] sysbus: [cpu0: 0x11EC] WriteDoubleWord to non existing peripheral at 0x4000D480, value 0x0. 16:44:53.2542 [WARNING] sysbus: [cpu0: 0x11EC] WriteDoubleWord to non existing peripheral at 0x4000D484, value 0x0. 16:44:53.2542 [WARNING] sysbus: [cpu0: 0x11EC] WriteDoubleWord to non existing peripheral at 0x4000D488, value 0x0. 16:44:53.2542 [WARNING] sysbus: [cpu0: 0x11EC] WriteDoubleWord to non existing peripheral at 0x4000D48C, value 0x0. 16:44:53.2542 [WARNING] sysbus: [cpu0: 0x11EC] WriteDoubleWord to non existing peripheral at 0x4000D490, value 0x0. 16:44:53.2542 [WARNING] sysbus: [cpu0: 0x11EC] WriteDoubleWord to non existing peripheral at 0x4000D494, value 0x0. 16:44:53.2542 [WARNING] sysbus: [cpu0: 0x11EC] WriteDoubleWord to non existing peripheral at 0x4000D498, value 0x0. 16:44:53.2543 [WARNING] sysbus: [cpu0: 0x11EC] WriteDoubleWord to non existing peripheral at 0x4000D49C, value 0x0. 16:44:53.2543 [WARNING] sysbus: [cpu0: 0x11EC] WriteDoubleWord to non existing peripheral at 0x4000D4A0, value 0x0. 16:44:53.2543 [WARNING] sysbus: [cpu0: 0x11EC] WriteDoubleWord to non existing peripheral at 0x4000D4A4, value 0x0. 16:44:53.2543 [WARNING] sysbus: [cpu0: 0x11EC] WriteDoubleWord to non existing peripheral at 0x4000D4A8, value 0x0. 16:44:53.2543 [WARNING] sysbus: [cpu0: 0x11EC] WriteDoubleWord to non existing peripheral at 0x4000D4AC, value 0x0. 16:44:53.2543 [WARNING] sysbus: [cpu0: 0x11EC] WriteDoubleWord to non existing peripheral at 0x4000D4B0, value 0x0. 16:44:53.2543 [WARNING] sysbus: [cpu0: 0x11EC] WriteDoubleWord to non existing peripheral at 0x4000D4B4, value 0x0. 16:44:53.2543 [WARNING] sysbus: [cpu0: 0x11EC] WriteDoubleWord to non existing peripheral at 0x4000D4B8, value 0x0. 16:44:53.2543 [WARNING] sysbus: [cpu0: 0x11EC] WriteDoubleWord to non existing peripheral at 0x4000D4BC, value 0x0. 16:44:53.2596 [INFO] uart0: [host: 0.63s (+5.95ms)|virt: 0.8ms (+97µs)] [1;1HPhilosopher 0 [P: 3] STARVING 16:44:53.2597 [WARNING] sysbus: [cpu0: 0x1044] WriteDoubleWord to non existing peripheral at 0x4000D4B0, value 0x20000000. 16:44:53.2597 [WARNING] sysbus: [cpu0: 0x1044] WriteDoubleWord to non existing peripheral at 0x4000D4B4, value 0x2002FFFF. 16:44:53.2597 [WARNING] sysbus: [cpu0: 0x1044] WriteDoubleWord to non existing peripheral at 0x4000D4B8, value 0x590410. 16:44:53.2597 [WARNING] sysbus: [cpu0: 0x1044] WriteDoubleWord to non existing peripheral at 0x4000D4BC, value 0x1. 16:44:53.2597 [WARNING] sysbus: [cpu0: 0x1044] WriteDoubleWord to non existing peripheral at 0x4000D440, value 0x20000000. 16:44:53.2597 [WARNING] sysbus: [cpu0: 0x1044] WriteDoubleWord to non existing peripheral at 0x4000D444, value 0x2002FFFF. 16:44:53.2597 [WARNING] sysbus: [cpu0: 0x1044] WriteDoubleWord to non existing peripheral at 0x4000D448, value 0x590410. 16:44:53.2597 [WARNING] sysbus: [cpu0: 0x1044] WriteDoubleWord to non existing peripheral at 0x4000D44C, value 0x1. 16:44:53.2597 [WARNING] sysbus: [cpu0: 0x1044] WriteDoubleWord to non existing peripheral at 0x4000D450, value 0x20003FC0. 16:44:53.2597 [WARNING] sysbus: [cpu0: 0x1044] WriteDoubleWord to non existing peripheral at 0x4000D454, value 0x2002FFFF. 16:44:53.2598 [WARNING] sysbus: [cpu0: 0x1044] WriteDoubleWord to non existing peripheral at 0x4000D458, value 0x590410. 16:44:53.2598 [WARNING] sysbus: [cpu0: 0x1044] WriteDoubleWord to non existing peripheral at 0x4000D45C, value 0x1. 16:44:53.2598 [WARNING] sysbus: [cpu0: 0x1044] WriteDoubleWord to non existing peripheral at 0x4000D440, value 0x20000000. 16:44:53.2598 [WARNING] sysbus: [cpu0: 0x1044] WriteDoubleWord to non existing peripheral at 0x4000D444, value 0x20003F7F. 16:44:53.2598 [WARNING] sysbus: [cpu0: 0x1044] WriteDoubleWord to non existing peripheral at 0x4000D448, value 0x590410. 16:44:53.2598 [WARNING] sysbus: [cpu0: 0x1044] WriteDoubleWord to non existing peripheral at 0x4000D44C, value 0x1. 16:44:53.2598 [WARNING] sysbus: [cpu0: 0x1044] WriteDoubleWord to non existing peripheral at 0x4000D460, value 0x20003F80. 16:44:53.2598 [WARNING] sysbus: [cpu0: 0x1044] WriteDoubleWord to non existing peripheral at 0x4000D464, value 0x20003FBF. 16:44:53.2606 [WARNING] sysbus: [cpu0: 0x1044] WriteDoubleWord to non existing peripheral at 0x4000D468, value 0x208208.