06:52:20 [INFO] System bus created. 06:52:21 [INFO] sysbus: Loading segment of 32440 bytes length at 0x0. 06:52:21 [INFO] sysbus: Loading segment of 168 bytes length at 0x7EB8. 06:52:21 [INFO] sysbus: Loading segment of 9872 bytes length at 0x200000A8. 06:52:21 [INFO] cpu0: Setting initial values: PC = 0x1F25, SP = 0x20001DF8. 06:52:21 [INFO] nrf52840_blip: Machine started. 06:52:21 [WARNING] sysbus: [cpu0: 0x6A4C] ReadDoubleWord from non existing peripheral at 0x10000130. 06:52:21 [WARNING] sysbus: [cpu0: 0x6A4C] ReadDoubleWord from non existing peripheral at 0x10000130. 06:52:21 [WARNING] sysbus: [cpu0: 0x3188] ReadDoubleWord from non existing peripheral at 0x10000130. 06:52:21 [WARNING] sysbus: [cpu0: 0x3188] ReadDoubleWord from non existing peripheral at 0x10000130. 06:52:21 [WARNING] sysbus: [cpu0: 0x3188] ReadDoubleWord from non existing peripheral at 0x10000130. 06:52:21 [WARNING] sysbus: [cpu0: 0x3188] ReadDoubleWord from non existing peripheral at 0x10000130. 06:52:21 [WARNING] sysbus: [cpu0: 0x6A4C] ReadDoubleWord from non existing peripheral at 0x10000130. 06:52:21 [WARNING] sysbus: [cpu0: 0x32D6] ReadDoubleWord from non existing peripheral at 0x10000130. 06:52:21 [WARNING] sysbus: [cpu0: 0x3300] ReadDoubleWord from non existing peripheral at 0x10001200. 06:52:21 [WARNING] sysbus: [cpu0: 0x330C] ReadDoubleWord from non existing peripheral at 0x10001204. 06:52:21 [WARNING] nvic: Unhandled write to offset 0xD28, value 0xFFFFFFFF. 06:52:21 [WARNING] nvic: Unhandled write to offset 0xD2C, value 0xFFFFFFFF. 06:52:21 [WARNING] nvic: Unhandled write to offset 0xD94, value 0x0. 06:52:21 [WARNING] nvic: Unhandled write to offset 0xD98, value 0x0. 06:52:21 [WARNING] nvic: Unhandled write to offset 0xD9C, value 0x10. 06:52:21 [WARNING] nvic: Unhandled write to offset 0xDA0, value 0x7020027. 06:52:21 [WARNING] nvic: Unhandled write to offset 0xD98, value 0x1. 06:52:21 [WARNING] nvic: Unhandled write to offset 0xD9C, value 0x20000011. 06:52:21 [WARNING] nvic: Unhandled write to offset 0xDA0, value 0x110B0023. 06:52:21 [WARNING] nvic: Unhandled write to offset 0xD94, value 0x5. 06:52:21 [WARNING] sysbus: [cpu0: 0x2174] WriteDoubleWord to non existing peripheral at 0x4001E540, value 0x1. 06:52:21 [WARNING] clock: Unhandled write to offset 0x578, value 0x1. 06:52:21 [WARNING] sysbus: [cpu0: 0x3B64] WriteDoubleWord to non existing peripheral at 0x4000617C, value 0x0. 06:52:21 [WARNING] sysbus: [cpu0: 0x3B64] ReadDoubleWord from non existing peripheral at 0x4000617C. 06:52:21 [WARNING] sysbus: [cpu0: 0x3B64] WriteDoubleWord to non existing peripheral at 0x40006304, value 0x80000000. 06:52:21 [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). 06:52:21 [WARNING] sysbus: [cpu0: 0x69B2] WriteDoubleWord to non existing peripheral at 0x50000508, value 0x40. 06:52:21 [WARNING] sysbus: [cpu0: 0x694C] WriteDoubleWord to non existing peripheral at 0x50000718, value 0x3. 06:52:21 [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). 06:52:21 [WARNING] sysbus: [cpu0: 0x694C] WriteDoubleWord to non existing peripheral at 0x50000720, value 0x0. 06:52:21 [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). 06:52:21 [WARNING] sysbus: [cpu0: 0x69B2] WriteDoubleWord to non existing peripheral at 0x50000508, value 0x20. 06:52:21 [WARNING] sysbus: [cpu0: 0x694C] WriteDoubleWord to non existing peripheral at 0x50000714, value 0x3. 06:52:21 [WARNING] uart0: Unhandled write to offset 0x510. Unhandled bits: [3-31] when writing value 0x7. Tags: PIN (0x18), PORT (0x1), RESERVED (0x1FFFFFF), CONNECT (0x1). 06:52:21 [WARNING] sysbus: [cpu0: 0x694C] WriteDoubleWord to non existing peripheral at 0x5000071C, value 0x0. 06:52:21 [WARNING] rtc1: Unhandled write to offset 0x304. Unhandled bits: [1] when writing value 0x2. Tags: OVRFLW (0x1). 06:52:21 [WARNING] clock: Unhandled read from offset 0x414. 06:52:21 [INFO] uart0: [host: 0.49s (+0.49s)|virt: 0.21ms (+0.21ms)] *** Booting Zephyr OS build v3.1.0-rc3-4-g2ef3fe7bca13 *** 06:52:21 [INFO] uart0: [host: 0.49s (+2.62ms)|virt: 0.26ms (+52µs)] [2J[15;1HDemo Description 06:52:21 [INFO] uart0: [host: 0.49s (+0.94ms)|virt: 0.26ms (+0s)] ---------------- 06:52:22 [INFO] uart0: [host: 0.5s (+3.92ms)|virt: 0.3ms (+39µs)] An implementation of a solution to the Dining Philosophers 06:52:22 [INFO] uart0: [host: 0.5s (+2.93ms)|virt: 0.3ms (+0s)] problem (a classic multi-thread synchronization problem). 06:52:22 [INFO] uart0: [host: 0.5s (+4.29ms)|virt: 0.4ms (+0.1ms)] This particular implementation demonstrates the usage of multiple 06:52:22 [INFO] uart0: [host: 0.51s (+3.28ms)|virt: 0.4ms (+0s)] preemptible and cooperative threads of differing priorities, as 06:52:22 [INFO] uart0: [host: 0.51s (+3.63ms)|virt: 0.5ms (+0.1ms)] well as dynamic mutexes and thread sleeping. 06:52:22 [INFO] uart0: [host: 0.52s (+7.41ms)|virt: 0.6ms (+0.1ms)] [5;1HPhilosopher 4 [C:-1] STARVING 06:52:22 [INFO] uart0: [host: 0.52s (+5.12ms)|virt: 0.7ms (+0.1ms)] [5;1HPhilosopher 4 [C:-1] HOLDING ONE FORK 06:52:22 [INFO] uart0: [host: 0.53s (+5.66ms)|virt: 0.7ms (+0s)] [5;1HPhilosopher 4 [C:-1] EATING [ 25 ms ] 06:52:22 [INFO] uart0: [host: 0.53s (+6.43ms)|virt: 0.8ms (+0.1ms)] [6;1HPhilosopher 5 [C:-2] STARVING 06:52:22 [INFO] uart0: [host: 0.54s (+5.5ms)|virt: 0.9ms (+98µs)] [6;1HPhilosopher 5 [C:-2] HOLDING ONE FORK 06:52:22 [INFO] uart0: [host: 0.54s (+4.95ms)|virt: 0.93ms (+34µs)] [4;1HPhilosopher 3 [P: 0] STARVING 06:52:22 [INFO] uart0: [host: 0.55s (+2.09ms)|virt: 1ms (+66µs)] [4;1HPhilosopher 3 [P: 0] HOLDING ONE FORK 06:52:22 [INFO] uart0: [host: 0.55s (+3.26ms)|virt: 1.1ms (+0.1ms)] [3;1HPhilosopher 2 [P: 1] STARVING 06:52:22 [INFO] uart0: [host: 0.55s (+2.06ms)|virt: 1.1ms (+0s)] [3;1HPhilosopher 2 [P: 1] HOLDING ONE FORK 06:52:22 [INFO] uart0: [host: 0.56s (+4.4ms)|virt: 1.2ms (+0.1ms)] [2;1HPhilosopher 1 [P: 2] STARVING 06:52:22 [INFO] uart0: [host: 0.56s (+4.81ms)|virt: 1.3ms (+0.1ms)] [2;1HPhilosopher 1 [P: 2] HOLDING ONE FORK 06:52:22 [INFO] uart0: [host: 0.57s (+5.72ms)|virt: 1.3ms (+5µs)] [1;1HPhilosopher 0 [P: 3] STARVING 06:52:22 [INFO] uart0: [host: 0.62s (+51.34ms)|virt: 26.2ms (+24.9ms)] [5;1HPhilosopher 4 [C:-1] DROPPED ONE FORK 06:52:22 [INFO] uart0: [host: 0.62s (+2.38ms)|virt: 26.2ms (+0s)] [5;1HPhilosopher 4 [C:-1] THINKING [ 25 ms ] 06:52:22 [INFO] uart0: [host: 0.62s (+3.58ms)|virt: 26.31ms (+0.11ms)] [6;1HPhilosopher 5 [C:-2] EATING [ 25 ms ] 06:52:22 [INFO] uart0: [host: 0.63s (+4.14ms)|virt: 26.4ms (+90µs)] [4;1HPhilosopher 3 [P: 0] EATING [ 25 ms ] 06:52:22 [INFO] uart0: [host: 0.68s (+54.35ms)|virt: 51.8ms (+25.4ms)] [6;1HPhilosopher 5 [C:-2] DROPPED ONE FORK 06:52:22 [INFO] uart0: [host: 0.69s (+8.61ms)|virt: 51.9ms (+0.1ms)] [6;1HPhilosopher 5 [C:-2] THINKING [ 25 ms ] 06:52:22 [INFO] uart0: [host: 0.7s (+7.86ms)|virt: 51.92ms (+18µs)] [5;1HPhilosopher 4 [C:-1] STARVING 06:52:22 [INFO] uart0: [host: 0.71s (+8.08ms)|virt: 52ms (+82µs)] [5;1HPhilosopher 4 [C:-1] HOLDING ONE FORK 06:52:22 [INFO] uart0: [host: 0.71s (+7.88ms)|virt: 52.1ms (+0.1ms)] [5;1HPhilosopher 4 [C:-1] EATING [ 25 ms ] 06:52:22 [INFO] uart0: [host: 0.72s (+7.83ms)|virt: 52.13ms (+33µs)] [4;1HPhilosopher 3 [P: 0] DROPPED ONE FORK 06:52:22 [INFO] uart0: [host: 0.73s (+7.68ms)|virt: 52.2ms (+67µs)] [4;1HPhilosopher 3 [P: 0] THINKING [ 25 ms ] 06:52:22 [INFO] uart0: [host: 0.74s (+7.95ms)|virt: 52.3ms (+0.1ms)] [3;1HPhilosopher 2 [P: 1] EATING [ 25 ms ] 06:52:22 [INFO] uart0: [host: 0.75s (+7.98ms)|virt: 52.4ms (+0.1ms)] [1;1HPhilosopher 0 [P: 3] HOLDING ONE FORK 06:52:22 [INFO] uart0: [host: 0.81s (+59.18ms)|virt: 77.4ms (+25ms)] [6;1HPhilosopher 5 [C:-2] STARVING 06:52:22 [INFO] uart0: [host: 0.81s (+5.91ms)|virt: 77.6ms (+0.2ms)] [5;1HPhilosopher 4 [C:-1] DROPPED ONE FORK 06:52:22 [INFO] uart0: [host: 0.82s (+5.37ms)|virt: 77.63ms (+30µs)] [5;1HPhilosopher 4 [C:-1] THINKING [ 25 ms ] 06:52:22 [INFO] uart0: [host: 0.82s (+4.76ms)|virt: 77.72ms (+93µs)] [4;1HPhilosopher 3 [P: 0] STARVING 06:52:22 [INFO] uart0: [host: 0.83s (+5.56ms)|virt: 77.8ms (+77µs)] [4;1HPhilosopher 3 [P: 0] HOLDING ONE FORK 06:52:22 [INFO] uart0: [host: 0.83s (+5.08ms)|virt: 77.9ms (+0.1ms)] [4;1HPhilosopher 3 [P: 0] EATING [ 25 ms ] 06:52:22 [INFO] uart0: [host: 0.84s (+4.46ms)|virt: 77.91ms (+8µs)] [3;1HPhilosopher 2 [P: 1] DROPPED ONE FORK 06:52:22 [INFO] uart0: [host: 0.84s (+4.71ms)|virt: 78ms (+92µs)] [3;1HPhilosopher 2 [P: 1] THINKING [ 25 ms ] 06:52:22 [INFO] uart0: [host: 0.84s (+2.6ms)|virt: 78.1ms (+0.1ms)] [2;1HPhilosopher 1 [P: 2] EATING [ 25 ms ] 06:52:22 [INFO] uart0: [host: 0.9s (+54.48ms)|virt: 0.1s (+25ms)] [5;1HPhilosopher 4 [C:-1] STARVING 06:52:22 [INFO] uart0: [host: 0.91s (+7.97ms)|virt: 0.1s (+0.3ms)] [5;1HPhilosopher 4 [C:-1] HOLDING ONE FORK 06:52:22 [INFO] uart0: [host: 0.91s (+5.24ms)|virt: 0.1s (+22µs)] [5;1HPhilosopher 4 [C:-1] EATING [ 150 ms ] 06:52:22 [INFO] uart0: [host: 0.92s (+3.87ms)|virt: 0.1s (+0.12ms)] [4;1HPhilosopher 3 [P: 0] DROPPED ONE FORK 06:52:22 [INFO] uart0: [host: 0.92s (+2.9ms)|virt: 0.1s (+54µs)] [4;1HPhilosopher 3 [P: 0] THINKING [ 125 ms ] 06:52:22 [INFO] uart0: [host: 0.92s (+5.06ms)|virt: 0.1s (+37µs)] [3;1HPhilosopher 2 [P: 1] STARVING 06:52:22 [INFO] uart0: [host: 0.93s (+3.87ms)|virt: 0.1s (+76µs)] [3;1HPhilosopher 2 [P: 1] HOLDING ONE FORK 06:52:22 [INFO] uart0: [host: 0.93s (+2.6ms)|virt: 0.1s (+87µs)] [3;1HPhilosopher 2 [P: 1] EATING [ 100 ms ] 06:52:22 [INFO] uart0: [host: 0.94s (+6.28ms)|virt: 0.1s (+0.1ms)] [2;1HPhilosopher 1 [P: 2] DROPPED ONE FORK 06:52:22 [INFO] uart0: [host: 0.94s (+6.67ms)|virt: 0.1s (+17µs)] [1;1HPhilosopher 0 [C:-2] EATING [ 50 ms ] 06:52:22 [INFO] uart0: [host: 0.95s (+7.06ms)|virt: 0.1s (+83µs)] [2;1HPhilosopher 1 [P: 2] THINKING [ 75 ms ] 06:52:22 [INFO] uart0: [host: 1.04s (+94.95ms)|virt: 0.15s (+50.8ms)] [1;1HPhilosopher 0 [C:-2] DROPPED ONE FORK 06:52:22 [INFO] uart0: [host: 1.05s (+3.91ms)|virt: 0.15s (+35µs)] [6;1HPhilosopher 5 [C:-2] HOLDING ONE FORK 06:52:22 [INFO] uart0: [host: 1.05s (+3.8ms)|virt: 0.15s (+65µs)] [1;1HPhilosopher 0 [P: 3] THINKING [ 50 ms ] 06:52:22 [INFO] uart0: [host: 1.11s (+56.98ms)|virt: 0.18s (+25.32ms)] [2;1HPhilosopher 1 [P: 2] STARVING