10:53:47 [INFO] System bus created.
10:53:48 [INFO] sysbus: Loaded SVD: /tmp/renode-12428/57cbaefe-4454-47f4-afc4-7c18c5b7a04f.tmp. Name: STM32F40x. Description: STM32F40x.
10:53:48 [INFO] sysbus: Loading segment of 16216 bytes length at 0x8000000.
10:53:48 [INFO] sysbus: Loading segment of 104 bytes length at 0x8003F58.
10:53:48 [INFO] sysbus: Loading segment of 10200 bytes length at 0x20000068.
10:53:48 [INFO] cpu0: Setting initial values: PC = 0x80012C9, SP = 0x20001E40.
10:53:48 [INFO] mikroe_mini_m4_for_stm32: Machine started.
10:53:48 [WARNING] nvic: Unhandled write to offset 0xD28, value 0xFFFFFFFF.
10:53:48 [WARNING] nvic: Unhandled write to offset 0xD2C, value 0xFFFFFFFF.
10:53:48 [WARNING] nvic: Unhandled write to offset 0xD94, value 0x0.
10:53:48 [WARNING] nvic: Unhandled write to offset 0xD98, value 0x0.
10:53:48 [WARNING] nvic: Unhandled write to offset 0xD9C, value 0x8000010.
10:53:48 [WARNING] nvic: Unhandled write to offset 0xDA0, value 0x7020027.
10:53:48 [WARNING] nvic: Unhandled write to offset 0xD98, value 0x1.
10:53:48 [WARNING] nvic: Unhandled write to offset 0xD9C, value 0x20000011.
10:53:48 [WARNING] nvic: Unhandled write to offset 0xDA0, value 0x110B0021.
10:53:48 [WARNING] nvic: Unhandled write to offset 0xD94, value 0x5.
10:53:48 [WARNING] sysbus: Read from an unimplemented register FLASH:ACR (0x40023C00), returning a value from SVD: 0x0.
10:53:48 [WARNING] sysbus: Write of value 0x200 to an unimplemented register FLASH:ACR (0x40023C00) generated from SVD.
10:53:48 [WARNING] sysbus: Read from an unimplemented register FLASH:ACR (0x40023C00), returning a value from SVD: 0x0.
10:53:48 [WARNING] sysbus: Write of value 0x400 to an unimplemented register FLASH:ACR (0x40023C00) generated from SVD.
10:53:48 [WARNING] sysbus: Read from an unimplemented register PWR:CR (0x40007000), returning a value from SVD: 0x0.
10:53:48 [WARNING] sysbus: Read from an unimplemented register PWR:CR (0x40007000), returning a value from SVD: 0x0.
10:53:48 [WARNING] sysbus: Read from an unimplemented register FLASH:ACR (0x40023C00), returning a value from SVD: 0x0.
10:53:48 [WARNING] sysbus: Write of value 0x4 to an unimplemented register FLASH:ACR (0x40023C00) generated from SVD.
10:53:48 [WARNING] sysbus: Read from an unimplemented register FLASH:ACR (0x40023C00), returning a value from SVD: 0x0.
10:53:48 [WARNING] sysbus: Read from an unimplemented register FLASH:ACR (0x40023C00), returning a value from SVD: 0x0.
10:53:48 [WARNING] gpioa: Unhandled write to offset 0x20. Unhandled bits: [8-10] when writing value 0x700. Tags: AFSEL2 (0x7).
10:53:48 [WARNING] gpioa: Unhandled write to offset 0x20. Unhandled bits: [12-14] when writing value 0x7000. Tags: AFSEL3 (0x7).
10:53:48 [WARNING] nvic: Unhandled write to offset 0xD98, value 0x2.
10:53:48 [WARNING] nvic: Unhandled write to offset 0xD9C, value 0x20001A52.
10:53:48 [WARNING] nvic: Unhandled write to offset 0xDA0, value 0x150B000B.
10:53:48 [WARNING] nvic: Unhandled write to offset 0xD98, value 0x3.
10:53:48 [WARNING] nvic: Unhandled write to offset 0xDA0, value 0x0.
10:53:48 [WARNING] nvic: Unhandled write to offset 0xD98, value 0x4.
10:53:48 [WARNING] nvic: Unhandled write to offset 0xDA0, value 0x0.
10:53:48 [WARNING] nvic: Unhandled write to offset 0xD98, value 0x5.
10:53:48 [WARNING] nvic: Unhandled write to offset 0xDA0, value 0x0.
10:53:48 [WARNING] nvic: Unhandled write to offset 0xD98, value 0x6.
10:53:48 [WARNING] nvic: Unhandled write to offset 0xDA0, value 0x0.
10:53:48 [WARNING] nvic: Unhandled write to offset 0xD98, value 0x7.
10:53:48 [WARNING] nvic: Unhandled write to offset 0xDA0, value 0x0.
10:53:48 [INFO] usart2: [host: 0.57s (+0.57s)|virt: 0.12ms (+0.12ms)] *** Booting Zephyr OS build zephyr-v3.1.0-2265-g62f19cc6b3d4  ***
10:53:48 [WARNING] nvic: Unhandled write to offset 0xD98, value 0x2.
10:53:48 [WARNING] nvic: Unhandled write to offset 0xD9C, value 0x20001A52.
10:53:48 [WARNING] nvic: Unhandled write to offset 0xDA0, value 0x150B000B.
10:53:48 [WARNING] nvic: Unhandled write to offset 0xD98, value 0x3.
10:53:48 [WARNING] nvic: Unhandled write to offset 0xDA0, value 0x0.
10:53:48 [WARNING] nvic: Unhandled write to offset 0xD98, value 0x4.
10:53:48 [WARNING] nvic: Unhandled write to offset 0xDA0, value 0x0.
10:53:48 [WARNING] nvic: Unhandled write to offset 0xD98, value 0x5.
10:53:48 [WARNING] nvic: Unhandled write to offset 0xDA0, value 0x0.
10:53:48 [WARNING] nvic: Unhandled write to offset 0xD98, value 0x6.
10:53:48 [WARNING] nvic: Unhandled write to offset 0xDA0, value 0x0.
10:53:48 [WARNING] nvic: Unhandled write to offset 0xD98, value 0x7.
10:53:48 [WARNING] nvic: Unhandled write to offset 0xDA0, value 0x0.
10:53:48 [INFO] usart2: [host: 0.57s (+1.18ms)|virt:   0.14ms (+12µs)] [2J[15;1HDemo Description
10:53:48 [INFO] usart2: [host: 0.57s (+1.56ms)|virt:     0.14ms (+0s)] ----------------
10:53:48 [INFO] usart2: [host: 0.57s (+0.64ms)|virt:     0.14ms (+0s)] An implementation of a solution to the Dining Philosophers
10:53:48 [INFO] usart2: [host: 0.57s (+0.54ms)|virt:    0.2ms (+65µs)] problem (a classic multi-thread synchronization problem).
10:53:48 [INFO] usart2: [host: 0.57s (+0.48ms)|virt:      0.2ms (+0s)] This particular implementation demonstrates the usage of multiple
10:53:48 [INFO] usart2: [host: 0.57s (+0.47ms)|virt:      0.2ms (+0s)] preemptible and cooperative threads of differing priorities, as
10:53:48 [INFO] usart2: [host: 0.57s (+0.39ms)|virt:   0.3ms (+0.1ms)] well as dynamic mutexes and thread sleeping.
10:53:48 [WARNING] nvic: Unhandled write to offset 0xD98, value 0x2.
10:53:48 [WARNING] nvic: Unhandled write to offset 0xD9C, value 0x200013D2.
10:53:48 [WARNING] nvic: Unhandled write to offset 0xDA0, value 0x150B000B.
10:53:48 [WARNING] nvic: Unhandled write to offset 0xD98, value 0x3.
10:53:48 [WARNING] nvic: Unhandled write to offset 0xDA0, value 0x0.
10:53:48 [WARNING] nvic: Unhandled write to offset 0xD98, value 0x4.
10:53:48 [WARNING] nvic: Unhandled write to offset 0xDA0, value 0x0.
10:53:48 [WARNING] nvic: Unhandled write to offset 0xD98, value 0x5.
10:53:48 [WARNING] nvic: Unhandled write to offset 0xDA0, value 0x0.
10:53:48 [WARNING] nvic: Unhandled write to offset 0xD98, value 0x6.
10:53:48 [WARNING] nvic: Unhandled write to offset 0xDA0, value 0x0.
10:53:48 [WARNING] nvic: Unhandled write to offset 0xD98, value 0x7.
10:53:48 [WARNING] nvic: Unhandled write to offset 0xDA0, value 0x0.
10:53:48 [INFO] usart2: [host:    0.58s (+1ms)|virt:   0.32ms (+17µs)] [5;1HPhilosopher 4 [C:-1]        STARVING       
10:53:48 [INFO] usart2: [host: 0.58s (+0.59ms)|virt:    0.4ms (+83µs)] [5;1HPhilosopher 4 [C:-1]    HOLDING ONE FORK   
10:53:48 [INFO] usart2: [host: 0.58s (+1.76ms)|virt:      0.4ms (+0s)] [5;1HPhilosopher 4 [C:-1]   EATING  [  25 ms ] 
10:53:48 [WARNING] nvic: Unhandled write to offset 0xD98, value 0x2.
10:53:48 [WARNING] nvic: Unhandled write to offset 0xD9C, value 0x20001A52.
10:53:48 [WARNING] nvic: Unhandled write to offset 0xDA0, value 0x150B000B.
10:53:48 [WARNING] nvic: Unhandled write to offset 0xD98, value 0x3.
10:53:48 [WARNING] nvic: Unhandled write to offset 0xDA0, value 0x0.
10:53:48 [WARNING] nvic: Unhandled write to offset 0xD98, value 0x4.
10:53:48 [WARNING] nvic: Unhandled write to offset 0xDA0, value 0x0.
10:53:48 [WARNING] nvic: Unhandled write to offset 0xD98, value 0x5.
10:53:48 [WARNING] nvic: Unhandled write to offset 0xDA0, value 0x0.
10:53:48 [WARNING] nvic: Unhandled write to offset 0xD98, value 0x6.
10:53:48 [WARNING] nvic: Unhandled write to offset 0xDA0, value 0x0.
10:53:48 [WARNING] nvic: Unhandled write to offset 0xD98, value 0x7.
10:53:48 [WARNING] nvic: Unhandled write to offset 0xDA0, value 0x0.
10:53:48 [WARNING] nvic: Unhandled write to offset 0xD98, value 0x2.
10:53:48 [WARNING] nvic: Unhandled write to offset 0xD9C, value 0x20001712.
10:53:48 [WARNING] nvic: Unhandled write to offset 0xDA0, value 0x150B000B.
10:53:48 [WARNING] nvic: Unhandled write to offset 0xD98, value 0x3.
10:53:48 [WARNING] nvic: Unhandled write to offset 0xDA0, value 0x0.
10:53:48 [WARNING] nvic: Unhandled write to offset 0xD98, value 0x4.
10:53:48 [WARNING] nvic: Unhandled write to offset 0xDA0, value 0x0.
10:53:48 [WARNING] nvic: Unhandled write to offset 0xD98, value 0x5.