06:32:17 [INFO] System bus created. 06:32:18 [INFO] sysbus: Loading segment of 35372 bytes length at 0x0. 06:32:18 [INFO] sysbus: Loading segment of 232 bytes length at 0x8A2C. 06:32:18 [INFO] sysbus: Loading segment of 11128 bytes length at 0x200000E8. 06:32:18 [INFO] cpu0: Setting initial values: PC = 0x2005, SP = 0x20001F20. 06:32:18 [INFO] bbc_microbit_v2: Machine started. 06:32:18 [WARNING] sysbus: [cpu0: 0x33C8] ReadDoubleWord from non existing peripheral at 0x10000130. 06:32:18 [WARNING] sysbus: [cpu0: 0x3482] ReadDoubleWord from non existing peripheral at 0x10000130. 06:32:18 [WARNING] sysbus: [cpu0: 0x34A8] ReadDoubleWord from non existing peripheral at 0x10001200. 06:32:18 [WARNING] sysbus: [cpu0: 0x34B4] ReadDoubleWord from non existing peripheral at 0x10001204. 06:32:18 [WARNING] nvic: Unhandled write to offset 0xD28, value 0xFFFFFFFF. 06:32:18 [WARNING] nvic: Unhandled write to offset 0xD2C, value 0xFFFFFFFF. 06:32:18 [WARNING] sysbus: [cpu0: 0x2078] WriteDoubleWord to non existing peripheral at 0x4001E540, value 0x1. 06:32:18 [WARNING] sysbus: [cpu0: 0x3D4C] WriteDoubleWord to non existing peripheral at 0x4000617C, value 0x0. 06:32:18 [WARNING] sysbus: [cpu0: 0x3D4C] ReadDoubleWord from non existing peripheral at 0x4000617C. 06:32:18 [WARNING] sysbus: [cpu0: 0x3D4C] WriteDoubleWord to non existing peripheral at 0x40006304, value 0x80000000. 06:32:18 [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:32:18 [WARNING] sysbus: [cpu0: 0x74B0] WriteDoubleWord to non existing peripheral at 0x50000508, value 0x40. 06:32:18 [WARNING] sysbus: [cpu0: 0x744A] WriteDoubleWord to non existing peripheral at 0x50000718, value 0x3. 06:32:18 [WARNING] uart0: Unhandled write to offset 0x514. Unhandled bits: [0-2, 4, 6-31] when writing value 0x28. Tags: PIN (0x17), RESERVED (0x1FFFFFF), CONNECT (0x1). 06:32:18 [WARNING] sysbus: [cpu0: 0x744A] WriteDoubleWord to non existing peripheral at 0x50000A20, value 0x0. 06:32:18 [WARNING] rtc1: Unhandled write to offset 0x304. Unhandled bits: [1] when writing value 0x2. Tags: OVRFLW (0x1). 06:32:18 [WARNING] clock: Unhandled read from offset 0x414. 06:32:18 [WARNING] clock: Unhandled read from offset 0x10C. 06:32:18 [WARNING] clock: Unhandled write to offset 0x10C, value 0x0. 06:32:18 [WARNING] clock: Unhandled read from offset 0x10C. 06:32:18 [WARNING] clock: Unhandled write to offset 0x304. Unhandled bits: [3] when writing value 0x8. Tags: DONE (0x1). 06:32:18 [WARNING] clock: Unhandled write to offset 0x10, value 0x1. 06:32:18 [WARNING] clock: Unhandled read from offset 0x10C. 06:32:18 [WARNING] sysbus: [cpu0: 0x2C06] WriteDoubleWord to non existing peripheral at 0x4000C304, value 0x1. 06:32:18 [INFO] uart0: [host: 0.49s (+0.49s)|virt: 0.14ms (+0.14ms)] *** Booting Zephyr OS build v3.1.0-rc3-4-g2ef3fe7bca13 *** 06:32:18 [INFO] uart0: [host: 0.49s (+3.42ms)|virt: 0.2ms (+55µs)] [2J[15;1HDemo Description 06:32:18 [INFO] uart0: [host: 0.49s (+1.49ms)|virt: 0.2ms (+0s)] ---------------- 06:32:18 [INFO] uart0: [host: 0.5s (+5.09ms)|virt: 0.2ms (+0s)] An implementation of a solution to the Dining Philosophers 06:32:18 [INFO] uart0: [host: 0.51s (+8.87ms)|virt: 0.3ms (+0.1ms)] problem (a classic multi-thread synchronization problem). 06:32:18 [INFO] uart0: [host: 0.51s (+3.15ms)|virt: 0.3ms (+0s)] This particular implementation demonstrates the usage of multiple 06:32:18 [INFO] uart0: [host: 0.52s (+12.22ms)|virt: 0.3ms (+0s)] preemptible and cooperative threads of differing priorities, as 06:32:18 [INFO] uart0: [host: 0.53s (+4.5ms)|virt: 0.4ms (+0.1ms)] well as dynamic mutexes and thread sleeping. 06:32:18 [INFO] uart0: [host: 0.53s (+4.92ms)|virt: 0.52ms (+0.12ms)] [5;1HPhilosopher 4 [C:-1] STARVING 06:32:18 [INFO] uart0: [host: 0.54s (+3.69ms)|virt: 0.6ms (+79µs)] [5;1HPhilosopher 4 [C:-1] HOLDING ONE FORK 06:32:18 [INFO] uart0: [host: 0.54s (+4.59ms)|virt: 0.7ms (+0.1ms)] [5;1HPhilosopher 4 [C:-1] EATING [ 25 ms ] 06:32:18 [INFO] uart0: [host: 0.54s (+2.93ms)|virt: 0.74ms (+37µs)] [6;1HPhilosopher 5 [C:-2] STARVING 06:32:18 [INFO] uart0: [host: 0.55s (+3.27ms)|virt: 0.8ms (+63µs)] [6;1HPhilosopher 5 [C:-2] HOLDING ONE FORK 06:32:18 [INFO] uart0: [host: 0.55s (+3.83ms)|virt: 0.9ms (+0.1ms)] [4;1HPhilosopher 3 [P: 0] STARVING 06:32:18 [INFO] uart0: [host: 0.55s (+2.27ms)|virt: 0.9ms (+0s)] [4;1HPhilosopher 3 [P: 0] HOLDING ONE FORK 06:32:18 [INFO] uart0: [host: 0.56s (+3.23ms)|virt: 1ms (+0.1ms)] [3;1HPhilosopher 2 [P: 1] STARVING 06:32:18 [INFO] uart0: [host: 0.56s (+3.24ms)|virt: 1.1ms (+0.1ms)] [3;1HPhilosopher 2 [P: 1] HOLDING ONE FORK 06:32:18 [INFO] uart0: [host: 0.56s (+2.29ms)|virt: 1.12ms (+17µs)] [2;1HPhilosopher 1 [P: 2] STARVING 06:32:18 [INFO] uart0: [host: 0.57s (+4.28ms)|virt: 1.2ms (+83µs)] [2;1HPhilosopher 1 [P: 2] HOLDING ONE FORK 06:32:18 [INFO] uart0: [host: 0.57s (+4.72ms)|virt: 1.24ms (+40µs)] [1;1HPhilosopher 0 [P: 3] STARVING 06:32:18 [INFO] uart0: [host: 0.62s (+51.73ms)|virt: 26.2ms (+24.96ms)] [5;1HPhilosopher 4 [C:-1] DROPPED ONE FORK 06:32:18 [INFO] uart0: [host: 0.63s (+3.34ms)|virt: 26.2ms (+0s)] [5;1HPhilosopher 4 [C:-1] THINKING [ 25 ms ] 06:32:18 [INFO] uart0: [host: 0.63s (+2.54ms)|virt: 26.31ms (+0.11ms)] [6;1HPhilosopher 5 [C:-2] EATING [ 25 ms ] 06:32:18 [INFO] uart0: [host: 0.63s (+4.14ms)|virt: 26.4ms (+90µs)] [4;1HPhilosopher 3 [P: 0] EATING [ 25 ms ] 06:32:18 [INFO] uart0: [host: 0.69s (+57.08ms)|virt: 51.8ms (+25.4ms)] [6;1HPhilosopher 5 [C:-2] DROPPED ONE FORK 06:32:18 [INFO] uart0: [host: 0.69s (+5.29ms)|virt: 51.9ms (+0.1ms)] [6;1HPhilosopher 5 [C:-2] THINKING [ 25 ms ] 06:32:18 [INFO] uart0: [host: 0.7s (+5.46ms)|virt: 51.92ms (+18µs)] [5;1HPhilosopher 4 [C:-1] STARVING 06:32:18 [INFO] uart0: [host: 0.7s (+4.16ms)|virt: 52ms (+82µs)] [5;1HPhilosopher 4 [C:-1] HOLDING ONE FORK 06:32:18 [INFO] uart0: [host: 0.71s (+1.77ms)|virt: 52.1ms (+0.1ms)] [5;1HPhilosopher 4 [C:-1] EATING [ 25 ms ] 06:32:18 [INFO] uart0: [host: 0.71s (+2.72ms)|virt: 52.13ms (+33µs)] [4;1HPhilosopher 3 [P: 0] DROPPED ONE FORK 06:32:18 [INFO] uart0: [host: 0.71s (+2.12ms)|virt: 52.2ms (+67µs)] [4;1HPhilosopher 3 [P: 0] THINKING [ 25 ms ] 06:32:18 [INFO] uart0: [host: 0.71s (+3.51ms)|virt: 52.3ms (+0.1ms)] [3;1HPhilosopher 2 [P: 1] EATING [ 25 ms ] 06:32:18 [INFO] uart0: [host: 0.72s (+3.08ms)|virt: 52.4ms (+0.1ms)] [1;1HPhilosopher 0 [P: 3] HOLDING ONE FORK 06:32:18 [INFO] uart0: [host: 0.76s (+42.69ms)|virt: 77.4ms (+25ms)] [6;1HPhilosopher 5 [C:-2] STARVING 06:32:18 [INFO] uart0: [host: 0.76s (+3.26ms)|virt: 77.6ms (+0.2ms)] [5;1HPhilosopher 4 [C:-1] DROPPED ONE FORK 06:32:18 [INFO] uart0: [host: 0.77s (+5.19ms)|virt: 77.63ms (+30µs)] [5;1HPhilosopher 4 [C:-1] THINKING [ 25 ms ] 06:32:18 [INFO] uart0: [host: 0.77s (+4.74ms)|virt: 77.72ms (+93µs)] [4;1HPhilosopher 3 [P: 0] STARVING 06:32:18 [INFO] uart0: [host: 0.78s (+1.6ms)|virt: 77.8ms (+77µs)] [4;1HPhilosopher 3 [P: 0] HOLDING ONE FORK 06:32:18 [INFO] uart0: [host: 0.78s (+2.46ms)|virt: 77.9ms (+0.1ms)] [4;1HPhilosopher 3 [P: 0] EATING [ 25 ms ] 06:32:18 [INFO] uart0: [host: 0.78s (+1.41ms)|virt: 77.91ms (+8µs)] [3;1HPhilosopher 2 [P: 1] DROPPED ONE FORK 06:32:18 [INFO] uart0: [host: 0.78s (+1.48ms)|virt: 78ms (+92µs)] [3;1HPhilosopher 2 [P: 1] THINKING [ 25 ms ] 06:32:18 [INFO] uart0: [host: 0.78s (+3.83ms)|virt: 78.1ms (+0.1ms)] [2;1HPhilosopher 1 [P: 2] EATING [ 25 ms ] 06:32:18 [INFO] uart0: [host: 0.84s (+53.35ms)|virt: 0.1s (+25ms)] [5;1HPhilosopher 4 [C:-1] STARVING 06:32:18 [INFO] uart0: [host: 0.84s (+4.26ms)|virt: 0.1s (+0.3ms)] [5;1HPhilosopher 4 [C:-1] HOLDING ONE FORK 06:32:18 [INFO] uart0: [host: 0.85s (+7.29ms)|virt: 0.1s (+22µs)] [5;1HPhilosopher 4 [C:-1] EATING [ 150 ms ] 06:32:18 [INFO] uart0: [host: 0.85s (+3.01ms)|virt: 0.1s (+0.12ms)] [4;1HPhilosopher 3 [P: 0] DROPPED ONE FORK 06:32:18 [INFO] uart0: [host: 0.86s (+3.71ms)|virt: 0.1s (+54µs)] [4;1HPhilosopher 3 [P: 0] THINKING [ 125 ms ] 06:32:18 [INFO] uart0: [host: 0.86s (+4.2ms)|virt: 0.1s (+37µs)] [3;1HPhilosopher 2 [P: 1] STARVING 06:32:19 [INFO] uart0: [host: 0.86s (+4.54ms)|virt: 0.1s (+76µs)] [3;1HPhilosopher 2 [P: 1] HOLDING ONE FORK 06:32:19 [INFO] uart0: [host: 0.87s (+3.11ms)|virt: 0.1s (+87µs)] [3;1HPhilosopher 2 [P: 1] EATING [ 100 ms ] 06:32:19 [INFO] uart0: [host: 0.87s (+3.92ms)|virt: 0.1s (+0.1ms)] [2;1HPhilosopher 1 [P: 2] DROPPED ONE FORK 06:32:19 [INFO] uart0: [host: 0.88s (+3.73ms)|virt: 0.1s (+17µs)] [1;1HPhilosopher 0 [C:-2] EATING [ 50 ms ] 06:32:19 [INFO] uart0: [host: 0.88s (+3.84ms)|virt: 0.1s (+83µs)] [2;1HPhilosopher 1 [P: 2] THINKING [ 75 ms ] 06:32:19 [INFO] uart0: [host: 0.97s (+86.39ms)|virt: 0.15s (+50.8ms)] [1;1HPhilosopher 0 [C:-2] DROPPED ONE FORK 06:32:19 [INFO] uart0: [host: 0.97s (+2.78ms)|virt: 0.15s (+35µs)] [6;1HPhilosopher 5 [C:-2] HOLDING ONE FORK 06:32:19 [INFO] uart0: [host: 0.97s (+2.25ms)|virt: 0.15s (+65µs)] [1;1HPhilosopher 0 [P: 3] THINKING [ 50 ms ] 06:32:19 [INFO] uart0: [host: 1.01s (+40.76ms)|virt: 0.18s (+25.32ms)] [2;1HPhilosopher 1 [P: 2] STARVING 06:32:19 [INFO] uart0: [host: 1.01s (+2.2ms)|virt: 0.18s (+84µs)] [2;1HPhilosopher 1 [P: 2] HOLDING ONE FORK 06:32:19 [INFO] uart0: [host: 1.05s (+40.06ms)|virt: 0.21s (+25.2ms)] [3;1HPhilosopher 2 [P: 1] DROPPED ONE FORK 06:32:19 [INFO] uart0: [host: 1.06s (+5.32ms)|virt: 0.21s (+0s)] [3;1HPhilosopher 2 [P: 1] THINKING [ 175 ms ] 06:32:19 [INFO] uart0: [host: 1.07s (+6.31ms)|virt: 0.21s (+0.1ms)] [2;1HPhilosopher 1 [P: 2] EATING [ 125 ms ] 06:32:19 [INFO] uart0: [host: 1.07s (+6.68ms)|virt: 0.21s (+0.13ms)] [1;1HPhilosopher 0 [P: 3] STARVING 06:32:19 [INFO] uart0: [host: 1.12s (+48.01ms)|virt: 0.23s (+24.97ms)] [4;1HPhilosopher 3 [P: 0] STARVING 06:32:19 [INFO] uart0: [host: 1.12s (+3.62ms)|virt: 0.23s (+0s)] [4;1HPhilosopher 3 [P: 0] HOLDING ONE FORK 06:32:19 [INFO] uart0: [host: 1.17s (+44.49ms)|virt: 0.26s (+25.22ms)] [5;1HPhilosopher 4 [C:-1] DROPPED ONE FORK 06:32:19 [INFO] uart0: [host: 1.17s (+4.74ms)|virt: 0.26s (+82µs)] [5;1HPhilosopher 4 [C:-1] THINKING [ 275 ms ] 06:32:19 [INFO] uart0: [host: 1.18s (+4.93ms)|virt: 0.26s (+0.1ms)] [6;1HPhilosopher 5 [C:-2] EATING [ 325 ms ] 06:32:19 [INFO] uart0: [host: 1.18s (+3.64ms)|virt: 0.26s (+0.1ms)] [4;1HPhilosopher 3 [P: 0] EATING [ 225 ms ] 06:32:19 [INFO] uart0: [host: 1.33s (+0.15s)|virt: 0.33s (+76.41ms)] [2;1HPhilosopher 1 [P: 2] DROPPED ONE FORK 06:32:19 [INFO] uart0: [host: 1.34s (+2.66ms)|virt: 0.33s (+88µs)] [2;1HPhilosopher 1 [P: 2] THINKING [ 175 ms ]