10:40:46 [INFO] System bus created. 10:40:47 [INFO] sysbus: Loading segment of 22992 bytes length at 0x0. 10:40:47 [INFO] sysbus: Loading segment of 248 bytes length at 0x59D0. 10:40:47 [INFO] sysbus: Loading segment of 11920 bytes length at 0x200000F8. 10:40:47 [INFO] cpu0: Setting initial values: PC = 0x15D9, SP = 0x20002248. 10:40:47 [INFO] bl654_dvk: Machine started. 10:40:47 [WARNING] sysbus: [cpu0: 0x4DA4] ReadDoubleWord from non existing peripheral at 0x10000130. 10:40:47 [WARNING] sysbus: [cpu0: 0x4DA4] ReadDoubleWord from non existing peripheral at 0x10000130. 10:40:47 [WARNING] sysbus: [cpu0: 0x280C] ReadDoubleWord from non existing peripheral at 0x10000130. 10:40:47 [WARNING] sysbus: [cpu0: 0x280C] ReadDoubleWord from non existing peripheral at 0x10000130. 10:40:47 [WARNING] sysbus: [cpu0: 0x280C] ReadDoubleWord from non existing peripheral at 0x10000130. 10:40:47 [WARNING] sysbus: [cpu0: 0x280C] ReadDoubleWord from non existing peripheral at 0x10000130. 10:40:47 [WARNING] sysbus: [cpu0: 0x4DA4] ReadDoubleWord from non existing peripheral at 0x10000130. 10:40:47 [WARNING] sysbus: [cpu0: 0x295A] ReadDoubleWord from non existing peripheral at 0x10000130. 10:40:47 [WARNING] sysbus: [cpu0: 0x2984] ReadDoubleWord from non existing peripheral at 0x10001200. 10:40:47 [WARNING] sysbus: [cpu0: 0x2990] ReadDoubleWord from non existing peripheral at 0x10001204. 10:40:47 [WARNING] nvic: Unhandled write to offset 0xD28, value 0xFFFFFFFF. 10:40:47 [WARNING] nvic: Unhandled write to offset 0xD2C, value 0xFFFFFFFF. 10:40:47 [WARNING] nvic: Unhandled write to offset 0xD94, value 0x0. 10:40:47 [WARNING] nvic: Unhandled write to offset 0xD98, value 0x0. 10:40:47 [WARNING] nvic: Unhandled write to offset 0xD9C, value 0x10. 10:40:47 [WARNING] nvic: Unhandled write to offset 0xDA0, value 0x7020027. 10:40:47 [WARNING] nvic: Unhandled write to offset 0xD98, value 0x1. 10:40:47 [WARNING] nvic: Unhandled write to offset 0xD9C, value 0x20000011. 10:40:47 [WARNING] nvic: Unhandled write to offset 0xDA0, value 0x110B0023. 10:40:47 [WARNING] nvic: Unhandled write to offset 0xD94, value 0x5. 10:40:47 [WARNING] sysbus: [cpu0: 0x178C] WriteDoubleWord to non existing peripheral at 0x4001E540, value 0x1. 10:40:47 [WARNING] clock: Unhandled write to offset 0x578, value 0x1. 10:40:47 [WARNING] sysbus: [cpu0: 0x2FDC] WriteDoubleWord to non existing peripheral at 0x4000617C, value 0x0. 10:40:47 [WARNING] sysbus: [cpu0: 0x2FDC] ReadDoubleWord from non existing peripheral at 0x4000617C. 10:40:47 [WARNING] sysbus: [cpu0: 0x2FDC] WriteDoubleWord to non existing peripheral at 0x40006304, value 0x80000000. 10:40:47 [WARNING] uart0: Unhandled write to offset 0x50C. Unhandled bits: [0, 3-31] when writing value 0x6. Tags: PIN (0x19), PORT (0x1), RESERVED (0x1FFFFFF), CONNECT (0x1). 10:40:47 [WARNING] sysbus: [cpu0: 0x2800] WriteDoubleWord to non existing peripheral at 0x50000508, value 0x40. 10:40:47 [WARNING] sysbus: [cpu0: 0x27A8] WriteDoubleWord to non existing peripheral at 0x50000718, value 0x3. 10:40:47 [WARNING] uart0: Unhandled write to offset 0x514. Unhandled bits: [0-2, 4-31] when writing value 0x8. Tags: PIN (0x17), PORT (0x1), RESERVED (0x1FFFFFF), CONNECT (0x1). 10:40:47 [WARNING] sysbus: [cpu0: 0x27A8] WriteDoubleWord to non existing peripheral at 0x50000720, value 0x0. 10:40:47 [WARNING] uart0: Unhandled write to offset 0x508. Unhandled bits: [1, 3-31] when writing value 0x5. Tags: PIN (0x1A), PORT (0x1), RESERVED (0x1FFFFFF), CONNECT (0x1). 10:40:47 [WARNING] sysbus: [cpu0: 0x2800] WriteDoubleWord to non existing peripheral at 0x50000508, value 0x20. 10:40:47 [WARNING] sysbus: [cpu0: 0x27A8] WriteDoubleWord to non existing peripheral at 0x50000714, value 0x3. 10:40:47 [WARNING] uart0: Unhandled write to offset 0x510. Unhandled bits: [3-31] when writing value 0x7. Tags: PIN (0x18), PORT (0x1), RESERVED (0x1FFFFFF), CONNECT (0x1). 10:40:47 [WARNING] sysbus: [cpu0: 0x27A8] WriteDoubleWord to non existing peripheral at 0x5000071C, value 0x0. 10:40:47 [WARNING] rtc1: Unhandled write to offset 0x304. Unhandled bits: [1] when writing value 0x2. Tags: OVRFLW (0x1). 10:40:47 [WARNING] clock: Unhandled read from offset 0x414. 10:40:47 [WARNING] clock: Unhandled read from offset 0x10C. 10:40:47 [WARNING] clock: Unhandled write to offset 0x10C, value 0x0. 10:40:47 [WARNING] clock: Unhandled read from offset 0x10C. 10:40:47 [WARNING] clock: Unhandled write to offset 0x304. Unhandled bits: [3] when writing value 0x8. Tags: DONE (0x1). 10:40:47 [WARNING] clock: Unhandled write to offset 0xC34, value 0x2. 10:40:47 [WARNING] clock: Unhandled write to offset 0x10, value 0x1. 10:40:47 [WARNING] clock: Unhandled read from offset 0x10C. 10:40:47 [WARNING] sysbus: [cpu0: 0x2078] WriteDoubleWord to non existing peripheral at 0x4000C304, value 0x1. 10:40:47 [INFO] uart0: [host: 0.53s (+0.53s)|virt: 0.2ms (+0.2ms)] *** Booting Zephyr OS build zephyr-v3.1.0-2265-g62f19cc6b3d4 *** 10:40:47 [INFO] uart0: [host: 0.53s (+3.51ms)|virt: 0.22ms (+18µs)] [2J[15;1HDemo Description 10:40:47 [INFO] uart0: [host: 0.53s (+0.97ms)|virt: 0.22ms (+0s)] ---------------- 10:40:47 [INFO] uart0: [host: 0.54s (+3.13ms)|virt: 0.22ms (+0s)] An implementation of a solution to the Dining Philosophers 10:40:47 [INFO] uart0: [host: 0.54s (+4.24ms)|virt: 0.3ms (+82µs)] problem (a classic multi-thread synchronization problem). 10:40:47 [INFO] uart0: [host: 0.55s (+7.15ms)|virt: 0.3ms (+0s)] This particular implementation demonstrates the usage of multiple 10:40:47 [INFO] uart0: [host: 0.56s (+7.06ms)|virt: 0.4ms (+0.1ms)] preemptible and cooperative threads of differing priorities, as 10:40:47 [INFO] uart0: [host: 0.56s (+4.9ms)|virt: 0.4ms (+0s)] well as dynamic mutexes and thread sleeping. 10:40:47 [INFO] uart0: [host: 0.57s (+7.03ms)|virt: 0.5ms (+0.1ms)] [5;1HPhilosopher 4 [C:-1] STARVING 10:40:47 [INFO] uart0: [host: 0.57s (+6.54ms)|virt: 0.5ms (+0s)] [5;1HPhilosopher 4 [C:-1] HOLDING ONE FORK 10:40:47 [INFO] uart0: [host: 0.58s (+5.26ms)|virt: 0.6ms (+0.1ms)] [5;1HPhilosopher 4 [C:-1] EATING [ 25 ms ] 10:40:47 [INFO] uart0: [host: 0.59s (+6.91ms)|virt: 0.7ms (+0.1ms)] [6;1HPhilosopher 5 [C:-2] STARVING 10:40:47 [INFO] uart0: [host: 0.59s (+5.97ms)|virt: 0.7ms (+0s)] [6;1HPhilosopher 5 [C:-2] HOLDING ONE FORK 10:40:47 [INFO] uart0: [host: 0.6s (+5.79ms)|virt: 0.8ms (+0.1ms)] [4;1HPhilosopher 3 [P: 0] STARVING 10:40:47 [INFO] uart0: [host: 0.6s (+6.02ms)|virt: 0.8ms (+0s)] [4;1HPhilosopher 3 [P: 0] HOLDING ONE FORK 10:40:47 [INFO] uart0: [host: 0.61s (+6.17ms)|virt: 0.9ms (+0.1ms)] [3;1HPhilosopher 2 [P: 1] STARVING 10:40:47 [INFO] uart0: [host: 0.61s (+4.9ms)|virt: 1ms (+0.1ms)] [3;1HPhilosopher 2 [P: 1] HOLDING ONE FORK 10:40:47 [INFO] uart0: [host: 0.62s (+4.47ms)|virt: 1.02ms (+15µs)] [2;1HPhilosopher 1 [P: 2] STARVING 10:40:47 [INFO] uart0: [host: 0.62s (+2.86ms)|virt: 1.1ms (+85µs)] [2;1HPhilosopher 1 [P: 2] HOLDING ONE FORK 10:40:47 [INFO] uart0: [host: 0.63s (+4.46ms)|virt: 1.13ms (+33µs)] [1;1HPhilosopher 0 [P: 3] STARVING 10:40:47 [INFO] uart0: [host: 0.68s (+54.29ms)|virt: 26.1ms (+24.97ms)] [5;1HPhilosopher 4 [C:-1] DROPPED ONE FORK 10:40:47 [INFO] uart0: [host: 0.68s (+3.57ms)|virt: 26.1ms (+0s)] [5;1HPhilosopher 4 [C:-1] THINKING [ 25 ms ] 10:40:47 [INFO] uart0: [host: 0.69s (+2.49ms)|virt: 26.2ms (+0.1ms)] [6;1HPhilosopher 5 [C:-2] EATING [ 25 ms ] 10:40:47 [INFO] uart0: [host: 0.69s (+3.86ms)|virt: 26.3ms (+0.1ms)] [4;1HPhilosopher 3 [P: 0] EATING [ 25 ms ] 10:40:47 [INFO] uart0: [host: 0.75s (+57.35ms)|virt: 51.54ms (+25.24ms)] [5;1HPhilosopher 4 [C:-1] STARVING 10:40:47 [INFO] uart0: [host: 0.75s (+3.2ms)|virt: 51.63ms (+93µs)] [6;1HPhilosopher 5 [C:-2] DROPPED ONE FORK 10:40:47 [INFO] uart0: [host: 0.76s (+3.9ms)|virt: 51.75ms (+0.12ms)] [6;1HPhilosopher 5 [C:-2] THINKING [ 25 ms ] 10:40:47 [INFO] uart0: [host: 0.76s (+3.82ms)|virt: 51.8ms (+54µs)] [5;1HPhilosopher 4 [C:-1] HOLDING ONE FORK 10:40:47 [INFO] uart0: [host: 0.76s (+4.06ms)|virt: 51.8ms (+0s)] [5;1HPhilosopher 4 [C:-1] EATING [ 25 ms ] 10:40:47 [INFO] uart0: [host: 0.77s (+5.71ms)|virt: 51.9ms (+0.1ms)] [4;1HPhilosopher 3 [P: 0] DROPPED ONE FORK 10:40:47 [INFO] uart0: [host: 0.77s (+6.35ms)|virt: 52ms (+99µs)] [4;1HPhilosopher 3 [P: 0] THINKING [ 25 ms ] 10:40:47 [INFO] uart0: [host: 0.78s (+5.37ms)|virt: 52.03ms (+30µs)] [3;1HPhilosopher 2 [P: 1] EATING [ 25 ms ] 10:40:47 [INFO] uart0: [host: 0.79s (+6.35ms)|virt: 52.1ms (+70µs)] [1;1HPhilosopher 0 [P: 3] HOLDING ONE FORK 10:40:47 [INFO] uart0: [host: 0.84s (+50.31ms)|virt: 77.2ms (+25.1ms)] [6;1HPhilosopher 5 [C:-2] STARVING 10:40:47 [INFO] uart0: [host: 0.84s (+3ms)|virt: 77.33ms (+0.12ms)] [5;1HPhilosopher 4 [C:-1] DROPPED ONE FORK 10:40:47 [INFO] uart0: [host: 0.84s (+4.21ms)|virt: 77.44ms (+0.12ms)] [5;1HPhilosopher 4 [C:-1] THINKING [ 25 ms ] 10:40:47 [INFO] uart0: [host: 0.85s (+2.89ms)|virt: 77.51ms (+62µs)] [4;1HPhilosopher 3 [P: 0] STARVING 10:40:47 [INFO] uart0: [host: 0.85s (+4.56ms)|virt: 77.53ms (+27µs)] [4;1HPhilosopher 3 [P: 0] HOLDING ONE FORK 10:40:47 [INFO] uart0: [host: 0.86s (+11.34ms)|virt: 77.6ms (+66µs)] [4;1HPhilosopher 3 [P: 0] EATING [ 25 ms ] 10:40:47 [INFO] uart0: [host: 0.87s (+5.64ms)|virt: 77.7ms (+0.1ms)] [3;1HPhilosopher 2 [P: 1] DROPPED ONE FORK 10:40:47 [INFO] uart0: [host: 0.87s (+6.22ms)|virt: 77.7ms (+0s)] [3;1HPhilosopher 2 [P: 1] THINKING [ 25 ms ] 10:40:47 [INFO] uart0: [host: 0.88s (+6.41ms)|virt: 77.8ms (+0.1ms)] [2;1HPhilosopher 1 [P: 2] EATING [ 25 ms ] 10:40:47 [INFO] uart0: [host: 0.94s (+56.19ms)|virt: 0.1s (+25.1ms)] [5;1HPhilosopher 4 [C:-1] STARVING 10:40:47 [INFO] uart0: [host: 0.94s (+4.35ms)|virt: 0.1s (+0.2ms)] [5;1HPhilosopher 4 [C:-1] HOLDING ONE FORK 10:40:47 [INFO] uart0: [host: 0.95s (+3.8ms)|virt: 0.1s (+44µs)] [5;1HPhilosopher 4 [C:-1] EATING [ 150 ms ] 10:40:47 [INFO] uart0: [host: 0.95s (+3.79ms)|virt: 0.1s (+93µs)] [4;1HPhilosopher 3 [P: 0] DROPPED ONE FORK 10:40:47 [INFO] uart0: [host: 0.95s (+2.31ms)|virt: 0.1s (+63µs)] [4;1HPhilosopher 3 [P: 0] THINKING [ 125 ms ] 10:40:47 [INFO] uart0: [host: 0.96s (+3.96ms)|virt: 0.1s (+34µs)] [3;1HPhilosopher 2 [P: 1] STARVING 10:40:47 [INFO] uart0: [host: 0.96s (+3.75ms)|virt: 0.1s (+66µs)] [3;1HPhilosopher 2 [P: 1] HOLDING ONE FORK