06:34:16 [INFO] System bus created.
06:34:17 [INFO] sysbus: Loaded SVD: /tmp/renode-17342/e10cf3d2-f65d-443d-bb92-265bbf4e44c9.tmp. Name: STM32F40x. Description: STM32F40x.
06:34:17 [INFO] sysbus: Loading segment of 25752 bytes length at 0x8000000.
06:34:17 [INFO] sysbus: Loading segment of 112 bytes length at 0x8006498.
06:34:17 [INFO] sysbus: Loading segment of 10576 bytes length at 0x20000070.
06:34:17 [INFO] cpu0: Setting initial values: PC = 0x800174D, SP = 0x20001FC0.
06:34:17 [INFO] black_f407ve: Machine started.
06:34:17 [WARNING] nvic: Unhandled write to offset 0xD28, value 0xFFFFFFFF.
06:34:17 [WARNING] nvic: Unhandled write to offset 0xD2C, value 0xFFFFFFFF.
06:34:17 [WARNING] nvic: Unhandled write to offset 0xD94, value 0x0.
06:34:17 [WARNING] nvic: Unhandled write to offset 0xD98, value 0x0.
06:34:17 [WARNING] nvic: Unhandled write to offset 0xD9C, value 0x8000010.
06:34:17 [WARNING] nvic: Unhandled write to offset 0xDA0, value 0x7020025.
06:34:17 [WARNING] nvic: Unhandled write to offset 0xD98, value 0x1.
06:34:17 [WARNING] nvic: Unhandled write to offset 0xD9C, value 0x20000011.
06:34:17 [WARNING] nvic: Unhandled write to offset 0xDA0, value 0x110B0021.
06:34:17 [WARNING] nvic: Unhandled write to offset 0xD94, value 0x5.
06:34:17 [WARNING] sysbus: Read from an unimplemented register FLASH:ACR (0x40023C00), returning a value from SVD: 0x0.
06:34:17 [WARNING] sysbus: Write of value 0x200 to an unimplemented register FLASH:ACR (0x40023C00) generated from SVD.
06:34:17 [WARNING] sysbus: Read from an unimplemented register FLASH:ACR (0x40023C00), returning a value from SVD: 0x0.
06:34:17 [WARNING] sysbus: Write of value 0x400 to an unimplemented register FLASH:ACR (0x40023C00) generated from SVD.
06:34:18 [WARNING] sysbus: Read from an unimplemented register PWR:CR (0x40007000), returning a value from SVD: 0x0.
06:34:18 [WARNING] sysbus: Read from an unimplemented register PWR:CR (0x40007000), returning a value from SVD: 0x0.
06:34:18 [WARNING] sysbus: Read from an unimplemented register FLASH:ACR (0x40023C00), returning a value from SVD: 0x0.
06:34:18 [WARNING] sysbus: Write of value 0x4 to an unimplemented register FLASH:ACR (0x40023C00) generated from SVD.
06:34:18 [WARNING] sysbus: Read from an unimplemented register FLASH:ACR (0x40023C00), returning a value from SVD: 0x0.
06:34:18 [WARNING] sysbus: Read from an unimplemented register FLASH:ACR (0x40023C00), returning a value from SVD: 0x0.
06:34:18 [WARNING] gpioa: Unhandled write to offset 0x20. Unhandled bits: [8-10] when writing value 0x700. Tags: AFSEL2 (0x7).
06:34:18 [WARNING] gpioa: Unhandled write to offset 0x20. Unhandled bits: [12-14] when writing value 0x7000. Tags: AFSEL3 (0x7).
06:34:18 [WARNING] gpiob: Unhandled write to offset 0x20. Unhandled bits: [24-26] when writing value 0x7000000. Tags: AFSEL6 (0x7).
06:34:18 [WARNING] gpiob: Unhandled write to offset 0x20. Unhandled bits: [28-30] when writing value 0x70000000. Tags: AFSEL7 (0x7).
06:34:18 [WARNING] nvic: Unhandled write to offset 0xD98, value 0x2.
06:34:18 [WARNING] nvic: Unhandled write to offset 0xD9C, value 0x20001BD2.
06:34:18 [WARNING] nvic: Unhandled write to offset 0xDA0, value 0x150B000B.
06:34:18 [WARNING] nvic: Unhandled write to offset 0xD98, value 0x3.
06:34:18 [WARNING] nvic: Unhandled write to offset 0xDA0, value 0x0.
06:34:18 [WARNING] nvic: Unhandled write to offset 0xD98, value 0x4.
06:34:18 [WARNING] nvic: Unhandled write to offset 0xDA0, value 0x0.
06:34:18 [WARNING] nvic: Unhandled write to offset 0xD98, value 0x5.
06:34:18 [WARNING] nvic: Unhandled write to offset 0xDA0, value 0x0.
06:34:18 [WARNING] nvic: Unhandled write to offset 0xD98, value 0x6.
06:34:18 [WARNING] nvic: Unhandled write to offset 0xDA0, value 0x0.
06:34:18 [WARNING] nvic: Unhandled write to offset 0xD98, value 0x7.
06:34:18 [WARNING] nvic: Unhandled write to offset 0xDA0, value 0x0.
06:34:18 [INFO] usart2: [host: 0.46s (+0.46s)|virt: 0.1ms (+0.1ms)] *** Booting Zephyr OS build v3.1.0-rc3-4-g2ef3fe7bca13  ***
06:34:18 [WARNING] nvic: Unhandled write to offset 0xD98, value 0x2.
06:34:18 [WARNING] nvic: Unhandled write to offset 0xD9C, value 0x20001BD2.
06:34:18 [WARNING] nvic: Unhandled write to offset 0xDA0, value 0x150B000B.
06:34:18 [WARNING] nvic: Unhandled write to offset 0xD98, value 0x3.
06:34:18 [WARNING] nvic: Unhandled write to offset 0xDA0, value 0x0.
06:34:18 [WARNING] nvic: Unhandled write to offset 0xD98, value 0x4.
06:34:18 [WARNING] nvic: Unhandled write to offset 0xDA0, value 0x0.
06:34:18 [WARNING] nvic: Unhandled write to offset 0xD98, value 0x5.
06:34:18 [WARNING] nvic: Unhandled write to offset 0xDA0, value 0x0.
06:34:18 [WARNING] nvic: Unhandled write to offset 0xD98, value 0x6.
06:34:18 [WARNING] nvic: Unhandled write to offset 0xDA0, value 0x0.
06:34:18 [WARNING] nvic: Unhandled write to offset 0xD98, value 0x7.
06:34:18 [WARNING] nvic: Unhandled write to offset 0xDA0, value 0x0.
06:34:18 [INFO] usart2: [host: 0.47s (+6.8ms)|virt: 0.16ms (+60µs)] [2J[15;1HDemo Description
06:34:18 [INFO] usart2: [host: 0.47s (+0.19ms)|virt: 0.18ms (+22µs)] ----------------
06:34:18 [INFO] usart2: [host: 0.47s (+0.62ms)|virt:  0.2ms (+18µs)] An implementation of a solution to the Dining Philosophers
06:34:18 [INFO] usart2: [host: 0.47s (+0.54ms)|virt:    0.2ms (+0s)] problem (a classic multi-thread synchronization problem).
06:34:18 [INFO] usart2: [host: 0.47s (+1.49ms)|virt:    0.2ms (+0s)] This particular implementation demonstrates the usage of multiple
06:34:18 [INFO] usart2: [host: 0.47s (+0.78ms)|virt: 0.3ms (+0.1ms)] preemptible and cooperative threads of differing priorities, as
06:34:18 [INFO] usart2: [host: 0.47s (+0.35ms)|virt:    0.3ms (+0s)] well as dynamic mutexes and thread sleeping.
06:34:18 [WARNING] nvic: Unhandled write to offset 0xD98, value 0x2.
06:34:18 [WARNING] nvic: Unhandled write to offset 0xD9C, value 0x20001552.
06:34:18 [WARNING] nvic: Unhandled write to offset 0xDA0, value 0x150B000B.
06:34:18 [WARNING] nvic: Unhandled write to offset 0xD98, value 0x3.
06:34:18 [WARNING] nvic: Unhandled write to offset 0xDA0, value 0x0.
06:34:18 [WARNING] nvic: Unhandled write to offset 0xD98, value 0x4.
06:34:18 [WARNING] nvic: Unhandled write to offset 0xDA0, value 0x0.
06:34:18 [WARNING] nvic: Unhandled write to offset 0xD98, value 0x5.
06:34:18 [WARNING] nvic: Unhandled write to offset 0xDA0, value 0x0.
06:34:18 [WARNING] nvic: Unhandled write to offset 0xD98, value 0x6.
06:34:18 [WARNING] nvic: Unhandled write to offset 0xDA0, value 0x0.
06:34:18 [WARNING] nvic: Unhandled write to offset 0xD98, value 0x7.
06:34:18 [WARNING] nvic: Unhandled write to offset 0xDA0, value 0x0.
06:34:18 [INFO] usart2: [host: 0.47s (+2.35ms)|virt: 0.43ms (+0.13ms)] [5;1HPhilosopher 4 [C:-1]        STARVING       
06:34:18 [INFO] usart2: [host: 0.47s (+0.56ms)|virt:    0.5ms (+72µs)] [5;1HPhilosopher 4 [C:-1]    HOLDING ONE FORK   
06:34:18 [INFO] usart2: [host: 0.48s (+1.63ms)|virt:      0.5ms (+0s)] [5;1HPhilosopher 4 [C:-1]   EATING  [  25 ms ] 
06:34:18 [WARNING] nvic: Unhandled write to offset 0xD98, value 0x2.
06:34:18 [WARNING] nvic: Unhandled write to offset 0xD9C, value 0x20001BD2.
06:34:18 [WARNING] nvic: Unhandled write to offset 0xDA0, value 0x150B000B.
06:34:18 [WARNING] nvic: Unhandled write to offset 0xD98, value 0x3.
06:34:18 [WARNING] nvic: Unhandled write to offset 0xDA0, value 0x0.
06:34:18 [WARNING] nvic: Unhandled write to offset 0xD98, value 0x4.
06:34:18 [WARNING] nvic: Unhandled write to offset 0xDA0, value 0x0.
06:34:18 [WARNING] nvic: Unhandled write to offset 0xD98, value 0x5.
06:34:18 [WARNING] nvic: Unhandled write to offset 0xDA0, value 0x0.
06:34:18 [WARNING] nvic: Unhandled write to offset 0xD98, value 0x6.
06:34:18 [WARNING] nvic: Unhandled write to offset 0xDA0, value 0x0.
06:34:18 [WARNING] nvic: Unhandled write to offset 0xD98, value 0x7.
06:34:18 [WARNING] nvic: Unhandled write to offset 0xDA0, value 0x0.
06:34:18 [WARNING] nvic: Unhandled write to offset 0xD98, value 0x2.
06:34:18 [WARNING] nvic: Unhandled write to offset 0xD9C, value 0x20001892.
06:34:18 [WARNING] nvic: Unhandled write to offset 0xDA0, value 0x150B000B.
06:34:18 [WARNING] nvic: Unhandled write to offset 0xD98, value 0x3.
06:34:18 [WARNING] nvic: Unhandled write to offset 0xDA0, value 0x0.
06:34:18 [WARNING] nvic: Unhandled write to offset 0xD98, value 0x4.