10:35:53 [INFO] System bus created. 10:35:54 [INFO] sysbus: Loading segment of 20128 bytes length at 0x0. 10:35:54 [INFO] sysbus: Loading segment of 172 bytes length at 0x4EA0. 10:35:54 [INFO] sysbus: Loading segment of 9440 bytes length at 0x200000B0. 10:35:55 [INFO] cpu0: Setting initial values: PC = 0x15D9, SP = 0x20001C50. 10:35:55 [INFO] adafruit_feather_nrf52840: Machine started. 10:35:55 [WARNING] sysbus: [cpu0: 0x44EA] ReadDoubleWord from non existing peripheral at 0x10000130. 10:35:55 [WARNING] sysbus: [cpu0: 0x44EA] ReadDoubleWord from non existing peripheral at 0x10000130. 10:35:55 [WARNING] sysbus: [cpu0: 0x24A8] ReadDoubleWord from non existing peripheral at 0x10000130. 10:35:55 [WARNING] sysbus: [cpu0: 0x24A8] ReadDoubleWord from non existing peripheral at 0x10000130. 10:35:55 [WARNING] sysbus: [cpu0: 0x24A8] ReadDoubleWord from non existing peripheral at 0x10000130. 10:35:55 [WARNING] sysbus: [cpu0: 0x24A8] ReadDoubleWord from non existing peripheral at 0x10000130. 10:35:55 [WARNING] sysbus: [cpu0: 0x44EA] ReadDoubleWord from non existing peripheral at 0x10000130. 10:35:55 [WARNING] sysbus: [cpu0: 0x25F6] ReadDoubleWord from non existing peripheral at 0x10000130. 10:35:55 [WARNING] sysbus: [cpu0: 0x2620] ReadDoubleWord from non existing peripheral at 0x10001200. 10:35:55 [WARNING] sysbus: [cpu0: 0x262C] ReadDoubleWord from non existing peripheral at 0x10001204. 10:35:55 [WARNING] nvic: Unhandled write to offset 0xD28, value 0xFFFFFFFF. 10:35:55 [WARNING] nvic: Unhandled write to offset 0xD2C, value 0xFFFFFFFF. 10:35:55 [WARNING] nvic: Unhandled write to offset 0xD94, value 0x0. 10:35:55 [WARNING] nvic: Unhandled write to offset 0xD98, value 0x0. 10:35:55 [WARNING] nvic: Unhandled write to offset 0xD9C, value 0x10. 10:35:55 [WARNING] nvic: Unhandled write to offset 0xDA0, value 0x7020027. 10:35:55 [WARNING] nvic: Unhandled write to offset 0xD98, value 0x1. 10:35:55 [WARNING] nvic: Unhandled write to offset 0xD9C, value 0x20000011. 10:35:55 [WARNING] nvic: Unhandled write to offset 0xDA0, value 0x110B0023. 10:35:55 [WARNING] nvic: Unhandled write to offset 0xD94, value 0x5. 10:35:55 [WARNING] sysbus: [cpu0: 0x178C] WriteDoubleWord to non existing peripheral at 0x4001E540, value 0x1. 10:35:55 [WARNING] clock: Unhandled write to offset 0x578, value 0x1. 10:35:55 [WARNING] sysbus: [cpu0: 0x2C00] WriteDoubleWord to non existing peripheral at 0x4000617C, value 0x0. 10:35:55 [WARNING] sysbus: [cpu0: 0x2C00] ReadDoubleWord from non existing peripheral at 0x4000617C. 10:35:55 [WARNING] sysbus: [cpu0: 0x2C00] WriteDoubleWord to non existing peripheral at 0x40006304, value 0x80000000. 10:35:55 [WARNING] uart0: Unhandled write to offset 0x50C. Unhandled bits: [1-2, 5-31] when writing value 0x19. Tags: PIN (0x6), PORT (0x1), RESERVED (0x1FFFFFF), CONNECT (0x1). 10:35:55 [WARNING] sysbus: [cpu0: 0x4412] WriteDoubleWord to non existing peripheral at 0x50000508, value 0x2000000. 10:35:55 [WARNING] sysbus: [cpu0: 0x4394] WriteDoubleWord to non existing peripheral at 0x50000764, value 0x3. 10:35:55 [WARNING] uart0: Unhandled write to offset 0x514. Unhandled bits: [0-2, 5-31] when writing value 0x18. Tags: PIN (0x7), PORT (0x1), RESERVED (0x1FFFFFF), CONNECT (0x1). 10:35:55 [WARNING] sysbus: [cpu0: 0x4394] WriteDoubleWord to non existing peripheral at 0x50000760, value 0x0. 10:35:55 [WARNING] rtc1: Unhandled write to offset 0x304. Unhandled bits: [1] when writing value 0x2. Tags: OVRFLW (0x1). 10:35:55 [WARNING] clock: Unhandled read from offset 0x414. 10:35:55 [INFO] uart0: [host: 0.57s (+0.57s)|virt: 0.1ms (+0.1ms)] *** Booting Zephyr OS build zephyr-v3.1.0-2265-g62f19cc6b3d4 *** 10:35:55 [INFO] uart0: [host: 0.58s (+3.77ms)|virt: 0.16ms (+53µs)] [2J[15;1HDemo Description 10:35:55 [INFO] uart0: [host: 0.58s (+0.91ms)|virt: 0.16ms (+0s)] ---------------- 10:35:55 [INFO] uart0: [host: 0.59s (+6.1ms)|virt: 0.2ms (+44µs)] An implementation of a solution to the Dining Philosophers 10:35:55 [INFO] uart0: [host: 0.59s (+3.86ms)|virt: 0.2ms (+0s)] problem (a classic multi-thread synchronization problem). 10:35:55 [INFO] uart0: [host: 0.59s (+5.6ms)|virt: 0.3ms (+0.1ms)] This particular implementation demonstrates the usage of multiple 10:35:55 [INFO] uart0: [host: 0.6s (+5.3ms)|virt: 0.3ms (+0s)] preemptible and cooperative threads of differing priorities, as 10:35:55 [INFO] uart0: [host: 0.6s (+3.36ms)|virt: 0.3ms (+0s)] well as dynamic mutexes and thread sleeping. 10:35:55 [INFO] uart0: [host: 0.61s (+2.96ms)|virt: 0.4ms (+0.1ms)] [5;1HPhilosopher 4 [C:-1] STARVING 10:35:55 [INFO] uart0: [host: 0.61s (+3.45ms)|virt: 0.5ms (+98µs)] [5;1HPhilosopher 4 [C:-1] HOLDING ONE FORK 10:35:55 [INFO] uart0: [host: 0.61s (+3.07ms)|virt: 0.5ms (+0s)] [5;1HPhilosopher 4 [C:-1] EATING [ 25 ms ] 10:35:55 [INFO] uart0: [host: 0.62s (+2.63ms)|virt: 0.6ms (+0.1ms)] [6;1HPhilosopher 5 [C:-2] STARVING 10:35:55 [INFO] uart0: [host: 0.62s (+4.63ms)|virt: 0.7ms (+0.1ms)] [6;1HPhilosopher 5 [C:-2] HOLDING ONE FORK 10:35:55 [INFO] uart0: [host: 0.62s (+4.67ms)|virt: 0.72ms (+16µs)] [4;1HPhilosopher 3 [P: 0] STARVING 10:35:55 [INFO] uart0: [host: 0.63s (+4.07ms)|virt: 0.8ms (+84µs)] [4;1HPhilosopher 3 [P: 0] HOLDING ONE FORK 10:35:55 [INFO] uart0: [host: 0.63s (+2.17ms)|virt: 0.84ms (+35µs)] [3;1HPhilosopher 2 [P: 1] STARVING 10:35:55 [INFO] uart0: [host: 0.63s (+3.69ms)|virt: 0.9ms (+65µs)] [3;1HPhilosopher 2 [P: 1] HOLDING ONE FORK 10:35:55 [INFO] uart0: [host: 0.64s (+3.9ms)|virt: 1ms (+0.1ms)] [2;1HPhilosopher 1 [P: 2] STARVING 10:35:55 [INFO] uart0: [host: 0.64s (+2.79ms)|virt: 1ms (+0s)] [2;1HPhilosopher 1 [P: 2] HOLDING ONE FORK 10:35:55 [INFO] uart0: [host: 0.65s (+5.41ms)|virt: 1.1ms (+0.1ms)] [1;1HPhilosopher 0 [P: 3] STARVING 10:35:55 [INFO] uart0: [host: 0.71s (+59.68ms)|virt: 26ms (+24.9ms)] [5;1HPhilosopher 4 [C:-1] DROPPED ONE FORK 10:35:55 [INFO] uart0: [host: 0.71s (+4.02ms)|virt: 26ms (+0s)] [5;1HPhilosopher 4 [C:-1] THINKING [ 25 ms ] 10:35:55 [INFO] uart0: [host: 0.72s (+4.34ms)|virt: 26.1ms (+0.1ms)] [6;1HPhilosopher 5 [C:-2] EATING [ 25 ms ] 10:35:55 [INFO] uart0: [host: 0.72s (+5.45ms)|virt: 26.2ms (+0.1ms)] [4;1HPhilosopher 3 [P: 0] EATING [ 25 ms ] 10:35:55 [INFO] uart0: [host: 0.77s (+47.25ms)|virt: 51.44ms (+25.24ms)] [5;1HPhilosopher 4 [C:-1] STARVING 10:35:55 [INFO] uart0: [host: 0.78s (+8.02ms)|virt: 51.53ms (+93µs)] [6;1HPhilosopher 5 [C:-2] DROPPED ONE FORK 10:35:55 [INFO] uart0: [host: 0.78s (+7.24ms)|virt: 51.65ms (+0.12ms)] [6;1HPhilosopher 5 [C:-2] THINKING [ 25 ms ] 10:35:55 [INFO] uart0: [host: 0.79s (+5.04ms)|virt: 51.7ms (+54µs)] [5;1HPhilosopher 4 [C:-1] HOLDING ONE FORK 10:35:55 [INFO] uart0: [host: 0.79s (+6.17ms)|virt: 51.7ms (+0s)] [5;1HPhilosopher 4 [C:-1] EATING [ 25 ms ] 10:35:55 [INFO] uart0: [host: 0.8s (+2.66ms)|virt: 51.8ms (+0.1ms)] [4;1HPhilosopher 3 [P: 0] DROPPED ONE FORK 10:35:55 [INFO] uart0: [host: 0.8s (+4.72ms)|virt: 51.9ms (+99µs)] [4;1HPhilosopher 3 [P: 0] THINKING [ 25 ms ] 10:35:55 [INFO] uart0: [host: 0.81s (+4.9ms)|virt: 51.93ms (+30µs)] [3;1HPhilosopher 2 [P: 1] EATING [ 25 ms ] 10:35:55 [INFO] uart0: [host: 0.81s (+4.76ms)|virt: 52ms (+70µs)] [1;1HPhilosopher 0 [P: 3] HOLDING ONE FORK 10:35:55 [INFO] uart0: [host: 0.86s (+49.24ms)|virt: 77.1ms (+25.1ms)] [6;1HPhilosopher 5 [C:-2] STARVING 10:35:55 [INFO] uart0: [host: 0.86s (+3.52ms)|virt: 77.23ms (+0.12ms)] [5;1HPhilosopher 4 [C:-1] DROPPED ONE FORK 10:35:55 [INFO] uart0: [host: 0.87s (+6.12ms)|virt: 77.34ms (+0.12ms)] [5;1HPhilosopher 4 [C:-1] THINKING [ 25 ms ] 10:35:55 [INFO] uart0: [host: 0.88s (+6.11ms)|virt: 77.41ms (+62µs)] [4;1HPhilosopher 3 [P: 0] STARVING 10:35:55 [INFO] uart0: [host: 0.88s (+5.79ms)|virt: 77.43ms (+27µs)] [4;1HPhilosopher 3 [P: 0] HOLDING ONE FORK 10:35:55 [INFO] uart0: [host: 0.89s (+5.22ms)|virt: 77.5ms (+66µs)] [4;1HPhilosopher 3 [P: 0] EATING [ 25 ms ] 10:35:55 [INFO] uart0: [host: 0.89s (+3.95ms)|virt: 77.6ms (+0.1ms)] [3;1HPhilosopher 2 [P: 1] DROPPED ONE FORK 10:35:55 [INFO] uart0: [host: 0.89s (+1.93ms)|virt: 77.6ms (+0s)] [3;1HPhilosopher 2 [P: 1] THINKING [ 25 ms ] 10:35:55 [INFO] uart0: [host: 0.9s (+4.88ms)|virt: 77.7ms (+0.1ms)] [2;1HPhilosopher 1 [P: 2] EATING [ 25 ms ] 10:35:55 [INFO] uart0: [host: 0.94s (+44.53ms)|virt: 0.1s (+25.1ms)] [5;1HPhilosopher 4 [C:-1] STARVING 10:35:55 [INFO] uart0: [host: 0.95s (+8.02ms)|virt: 0.1s (+0.2ms)] [5;1HPhilosopher 4 [C:-1] HOLDING ONE FORK 10:35:55 [INFO] uart0: [host: 0.96s (+6.08ms)|virt: 0.1s (+44µs)] [5;1HPhilosopher 4 [C:-1] EATING [ 150 ms ] 10:35:55 [INFO] uart0: [host: 0.96s (+5.69ms)|virt: 0.1s (+93µs)] [4;1HPhilosopher 3 [P: 0] DROPPED ONE FORK 10:35:55 [INFO] uart0: [host: 0.97s (+5.73ms)|virt: 0.1s (+63µs)] [4;1HPhilosopher 3 [P: 0] THINKING [ 125 ms ] 10:35:55 [INFO] uart0: [host: 0.97s (+5.17ms)|virt: 0.1s (+34µs)] [3;1HPhilosopher 2 [P: 1] STARVING 10:35:55 [INFO] uart0: [host: 0.98s (+4.2ms)|virt: 0.1s (+66µs)] [3;1HPhilosopher 2 [P: 1] HOLDING ONE FORK 10:35:55 [INFO] uart0: [host: 0.98s (+3.37ms)|virt: 0.1s (+0.1ms)] [3;1HPhilosopher 2 [P: 1] EATING [ 100 ms ] 10:35:55 [INFO] uart0: [host: 0.98s (+2.42ms)|virt: 0.1s (+32µs)] [2;1HPhilosopher 1 [P: 2] DROPPED ONE FORK 10:35:55 [INFO] uart0: [host: 0.99s (+5.12ms)|virt: 0.1s (+68µs)] [1;1HPhilosopher 0 [C:-2] EATING [ 50 ms ] 10:35:55 [INFO] uart0: [host: 1s (+6.88ms)|virt: 0.1s (+0.1ms)] [2;1HPhilosopher 1 [P: 2] THINKING [ 75 ms ] 10:35:55 [INFO] uart0: [host: 1.1s (+0.11s)|virt: 0.15s (+50.72ms)] [1;1HPhilosopher 0 [C:-2] DROPPED ONE FORK 10:35:55 [INFO] uart0: [host: 1.11s (+5.11ms)|virt: 0.15s (+76µs)] [6;1HPhilosopher 5 [C:-2] HOLDING ONE FORK 10:35:55 [INFO] uart0: [host: 1.11s (+5.12ms)|virt: 0.15s (+0.1ms)] [1;1HPhilosopher 0 [P: 3] THINKING [ 50 ms ] 10:35:55 [INFO] uart0: [host: 1.17s (+54.45ms)|virt: 0.18s (+25.31ms)] [2;1HPhilosopher 1 [P: 2] STARVING 10:35:55 [INFO] uart0: [host: 1.17s (+3.92ms)|virt: 0.18s (+94µs)] [2;1HPhilosopher 1 [P: 2] HOLDING ONE FORK 10:35:56 [INFO] uart0: [host: 1.22s (+54.71ms)|virt: 0.21s (+25.11ms)] [3;1HPhilosopher 2 [P: 1] DROPPED ONE FORK 10:35:56 [INFO] uart0: [host: 1.23s (+5.62ms)|virt: 0.21s (+91µs)] [3;1HPhilosopher 2 [P: 1] THINKING [ 175 ms ] 10:35:56 [INFO] uart0: [host: 1.24s (+5.68ms)|virt: 0.21s (+0.1ms)] [2;1HPhilosopher 1 [P: 2] EATING [ 125 ms ] 10:35:56 [INFO] uart0: [host: 1.24s (+5.29ms)|virt: 0.21s (+0.12ms)] [1;1HPhilosopher 0 [P: 3] STARVING