10:35:59 [INFO] System bus created. 10:36:01 [INFO] sysbus: Loaded SVD: /tmp/renode-9047/2ce3dab4-67dd-4cd9-88d0-06195f223991.tmp. Name: STM32F40x. Description: STM32F40x. 10:36:01 [INFO] sysbus: Loading segment of 16216 bytes length at 0x8000000. 10:36:01 [INFO] sysbus: Loading segment of 104 bytes length at 0x8003F58. 10:36:01 [INFO] sysbus: Loading segment of 10200 bytes length at 0x20000068. 10:36:01 [INFO] cpu0: Setting initial values: PC = 0x80012C9, SP = 0x20001E40. 10:36:01 [INFO] adafruit_feather_stm32f405: Machine started. 10:36:01 [WARNING] nvic: Unhandled write to offset 0xD28, value 0xFFFFFFFF. 10:36:01 [WARNING] nvic: Unhandled write to offset 0xD2C, value 0xFFFFFFFF. 10:36:01 [WARNING] nvic: Unhandled write to offset 0xD94, value 0x0. 10:36:01 [WARNING] nvic: Unhandled write to offset 0xD98, value 0x0. 10:36:01 [WARNING] nvic: Unhandled write to offset 0xD9C, value 0x8000010. 10:36:01 [WARNING] nvic: Unhandled write to offset 0xDA0, value 0x7020027. 10:36:01 [WARNING] nvic: Unhandled write to offset 0xD98, value 0x1. 10:36:01 [WARNING] nvic: Unhandled write to offset 0xD9C, value 0x20000011. 10:36:01 [WARNING] nvic: Unhandled write to offset 0xDA0, value 0x110B0021. 10:36:01 [WARNING] nvic: Unhandled write to offset 0xD94, value 0x5. 10:36:01 [WARNING] sysbus: Read from an unimplemented register FLASH:ACR (0x40023C00), returning a value from SVD: 0x0. 10:36:01 [WARNING] sysbus: Write of value 0x200 to an unimplemented register FLASH:ACR (0x40023C00) generated from SVD. 10:36:01 [WARNING] sysbus: Read from an unimplemented register FLASH:ACR (0x40023C00), returning a value from SVD: 0x0. 10:36:01 [WARNING] sysbus: Write of value 0x400 to an unimplemented register FLASH:ACR (0x40023C00) generated from SVD. 10:36:01 [WARNING] sysbus: Read from an unimplemented register PWR:CR (0x40007000), returning a value from SVD: 0x0. 10:36:01 [WARNING] sysbus: Read from an unimplemented register PWR:CR (0x40007000), returning a value from SVD: 0x0. 10:36:01 [WARNING] sysbus: Read from an unimplemented register FLASH:ACR (0x40023C00), returning a value from SVD: 0x0. 10:36:01 [WARNING] sysbus: Write of value 0x4 to an unimplemented register FLASH:ACR (0x40023C00) generated from SVD. 10:36:01 [WARNING] sysbus: Read from an unimplemented register FLASH:ACR (0x40023C00), returning a value from SVD: 0x0. 10:36:01 [WARNING] sysbus: Read from an unimplemented register FLASH:ACR (0x40023C00), returning a value from SVD: 0x0. 10:36:01 [WARNING] gpiob: Unhandled write to offset 0x24. Unhandled bits: [8-10] when writing value 0x700. Tags: AFSEL10 (0x7). 10:36:01 [WARNING] gpiob: Unhandled write to offset 0x24. Unhandled bits: [12-14] when writing value 0x7000. Tags: AFSEL11 (0x7). 10:36:01 [WARNING] nvic: Unhandled write to offset 0xD98, value 0x2. 10:36:01 [WARNING] nvic: Unhandled write to offset 0xD9C, value 0x20001A52. 10:36:01 [WARNING] nvic: Unhandled write to offset 0xDA0, value 0x150B000B. 10:36:01 [WARNING] nvic: Unhandled write to offset 0xD98, value 0x3. 10:36:01 [WARNING] nvic: Unhandled write to offset 0xDA0, value 0x0. 10:36:01 [WARNING] nvic: Unhandled write to offset 0xD98, value 0x4. 10:36:01 [WARNING] nvic: Unhandled write to offset 0xDA0, value 0x0. 10:36:01 [WARNING] nvic: Unhandled write to offset 0xD98, value 0x5. 10:36:01 [WARNING] nvic: Unhandled write to offset 0xDA0, value 0x0. 10:36:01 [WARNING] nvic: Unhandled write to offset 0xD98, value 0x6. 10:36:01 [WARNING] nvic: Unhandled write to offset 0xDA0, value 0x0. 10:36:01 [WARNING] nvic: Unhandled write to offset 0xD98, value 0x7. 10:36:01 [WARNING] nvic: Unhandled write to offset 0xDA0, value 0x0. 10:36:01 [INFO] usart3: [host: 0.52s (+0.52s)|virt: 0.12ms (+0.12ms)] *** Booting Zephyr OS build zephyr-v3.1.0-2265-g62f19cc6b3d4 *** 10:36:01 [WARNING] nvic: Unhandled write to offset 0xD98, value 0x2. 10:36:01 [WARNING] nvic: Unhandled write to offset 0xD9C, value 0x20001A52. 10:36:01 [WARNING] nvic: Unhandled write to offset 0xDA0, value 0x150B000B. 10:36:01 [WARNING] nvic: Unhandled write to offset 0xD98, value 0x3. 10:36:01 [WARNING] nvic: Unhandled write to offset 0xDA0, value 0x0. 10:36:01 [WARNING] nvic: Unhandled write to offset 0xD98, value 0x4. 10:36:01 [WARNING] nvic: Unhandled write to offset 0xDA0, value 0x0. 10:36:01 [WARNING] nvic: Unhandled write to offset 0xD98, value 0x5. 10:36:01 [WARNING] nvic: Unhandled write to offset 0xDA0, value 0x0. 10:36:01 [WARNING] nvic: Unhandled write to offset 0xD98, value 0x6. 10:36:01 [WARNING] nvic: Unhandled write to offset 0xDA0, value 0x0. 10:36:01 [WARNING] nvic: Unhandled write to offset 0xD98, value 0x7. 10:36:01 [WARNING] nvic: Unhandled write to offset 0xDA0, value 0x0. 10:36:01 [INFO] usart3: [host: 0.53s (+2.26ms)|virt: 0.14ms (+12µs)] [2J[15;1HDemo Description 10:36:01 [INFO] usart3: [host: 0.53s (+0.29ms)|virt: 0.14ms (+0s)] ---------------- 10:36:01 [INFO] usart3: [host: 0.53s (+0.71ms)|virt: 0.14ms (+0s)] An implementation of a solution to the Dining Philosophers 10:36:01 [INFO] usart3: [host: 0.53s (+0.72ms)|virt: 0.2ms (+65µs)] problem (a classic multi-thread synchronization problem). 10:36:01 [INFO] usart3: [host: 0.53s (+0.63ms)|virt: 0.2ms (+0s)] This particular implementation demonstrates the usage of multiple 10:36:01 [INFO] usart3: [host: 0.53s (+0.46ms)|virt: 0.2ms (+0s)] preemptible and cooperative threads of differing priorities, as 10:36:01 [INFO] usart3: [host: 0.53s (+1.73ms)|virt: 0.3ms (+0.1ms)] well as dynamic mutexes and thread sleeping. 10:36:01 [WARNING] nvic: Unhandled write to offset 0xD98, value 0x2. 10:36:01 [WARNING] nvic: Unhandled write to offset 0xD9C, value 0x200013D2. 10:36:01 [WARNING] nvic: Unhandled write to offset 0xDA0, value 0x150B000B. 10:36:01 [WARNING] nvic: Unhandled write to offset 0xD98, value 0x3. 10:36:01 [WARNING] nvic: Unhandled write to offset 0xDA0, value 0x0. 10:36:01 [WARNING] nvic: Unhandled write to offset 0xD98, value 0x4. 10:36:01 [WARNING] nvic: Unhandled write to offset 0xDA0, value 0x0. 10:36:01 [WARNING] nvic: Unhandled write to offset 0xD98, value 0x5. 10:36:01 [WARNING] nvic: Unhandled write to offset 0xDA0, value 0x0. 10:36:01 [WARNING] nvic: Unhandled write to offset 0xD98, value 0x6. 10:36:01 [WARNING] nvic: Unhandled write to offset 0xDA0, value 0x0. 10:36:01 [WARNING] nvic: Unhandled write to offset 0xD98, value 0x7. 10:36:01 [WARNING] nvic: Unhandled write to offset 0xDA0, value 0x0. 10:36:01 [INFO] usart3: [host: 0.53s (+1.05ms)|virt: 0.32ms (+17µs)] [5;1HPhilosopher 4 [C:-1] STARVING 10:36:01 [INFO] usart3: [host: 0.53s (+0.5ms)|virt: 0.4ms (+83µs)] [5;1HPhilosopher 4 [C:-1] HOLDING ONE FORK 10:36:01 [INFO] usart3: [host: 0.53s (+0.46ms)|virt: 0.4ms (+0s)] [5;1HPhilosopher 4 [C:-1] EATING [ 25 ms ] 10:36:01 [WARNING] nvic: Unhandled write to offset 0xD98, value 0x2. 10:36:01 [WARNING] nvic: Unhandled write to offset 0xD9C, value 0x20001A52. 10:36:01 [WARNING] nvic: Unhandled write to offset 0xDA0, value 0x150B000B. 10:36:01 [WARNING] nvic: Unhandled write to offset 0xD98, value 0x3. 10:36:01 [WARNING] nvic: Unhandled write to offset 0xDA0, value 0x0. 10:36:01 [WARNING] nvic: Unhandled write to offset 0xD98, value 0x4. 10:36:01 [WARNING] nvic: Unhandled write to offset 0xDA0, value 0x0. 10:36:01 [WARNING] nvic: Unhandled write to offset 0xD98, value 0x5. 10:36:01 [WARNING] nvic: Unhandled write to offset 0xDA0, value 0x0. 10:36:01 [WARNING] nvic: Unhandled write to offset 0xD98, value 0x6. 10:36:01 [WARNING] nvic: Unhandled write to offset 0xDA0, value 0x0. 10:36:01 [WARNING] nvic: Unhandled write to offset 0xD98, value 0x7. 10:36:01 [WARNING] nvic: Unhandled write to offset 0xDA0, value 0x0. 10:36:01 [WARNING] nvic: Unhandled write to offset 0xD98, value 0x2. 10:36:01 [WARNING] nvic: Unhandled write to offset 0xD9C, value 0x20001712. 10:36:01 [WARNING] nvic: Unhandled write to offset 0xDA0, value 0x150B000B. 10:36:01 [WARNING] nvic: Unhandled write to offset 0xD98, value 0x3. 10:36:01 [WARNING] nvic: Unhandled write to offset 0xDA0, value 0x0. 10:36:01 [WARNING] nvic: Unhandled write to offset 0xD98, value 0x4. 10:36:01 [WARNING] nvic: Unhandled write to offset 0xDA0, value 0x0. 10:36:01 [WARNING] nvic: Unhandled write to offset 0xD98, value 0x5.