11:25:14 [INFO] System bus created.
11:25:15 [INFO] sysbus: Loaded SVD: /tmp/renode-13035/9f0c4c6d-d1a3-4c35-b979-3ea84bed863c.tmp. Name: STM32F40x. Description: STM32F40x.
11:25:15 [INFO] sysbus: Loading segment of 16324 bytes length at 0x8000000.
11:25:15 [INFO] sysbus: Loading segment of 80 bytes length at 0x8003FC4.
11:25:15 [INFO] sysbus: Loading segment of 4 bytes length at 0x8004014.
11:25:15 [INFO] sysbus: Loading segment of 17840 bytes length at 0x20000050.
11:25:15 [INFO] cpu0: Setting initial values: PC = 0x80012A1, SP = 0x200045C0.
11:25:15 [INFO] mikroe_mini_m4_for_stm32: Machine started.
11:25:15 [WARNING] nvic: Unhandled write to offset 0xD28, value 0xFFFFFFFF.
11:25:15 [WARNING] nvic: Unhandled write to offset 0xD2C, value 0xFFFFFFFF.
11:25:15 [WARNING] nvic: Unhandled write to offset 0xD94, value 0x0.
11:25:15 [WARNING] nvic: Unhandled write to offset 0xD98, value 0x0.
11:25:15 [WARNING] nvic: Unhandled write to offset 0xD9C, value 0x8000010.
11:25:15 [WARNING] nvic: Unhandled write to offset 0xDA0, value 0x7020027.
11:25:15 [WARNING] nvic: Unhandled write to offset 0xD98, value 0x1.
11:25:15 [WARNING] nvic: Unhandled write to offset 0xD9C, value 0x20000011.
11:25:15 [WARNING] nvic: Unhandled write to offset 0xDA0, value 0x110B0021.
11:25:15 [WARNING] nvic: Unhandled write to offset 0xD94, value 0x5.
11:25:15 [WARNING] sysbus: Read from an unimplemented register FLASH:ACR (0x40023C00), returning a value from SVD: 0x0.
11:25:15 [WARNING] sysbus: Write of value 0x200 to an unimplemented register FLASH:ACR (0x40023C00) generated from SVD.
11:25:15 [WARNING] sysbus: Read from an unimplemented register FLASH:ACR (0x40023C00), returning a value from SVD: 0x0.
11:25:15 [WARNING] sysbus: Write of value 0x400 to an unimplemented register FLASH:ACR (0x40023C00) generated from SVD.
11:25:15 [WARNING] sysbus: Read from an unimplemented register PWR:CR (0x40007000), returning a value from SVD: 0x0.
11:25:15 [WARNING] sysbus: Read from an unimplemented register PWR:CR (0x40007000), returning a value from SVD: 0x0.
11:25:15 [WARNING] sysbus: Read from an unimplemented register FLASH:ACR (0x40023C00), returning a value from SVD: 0x0.
11:25:15 [WARNING] sysbus: Write of value 0x4 to an unimplemented register FLASH:ACR (0x40023C00) generated from SVD.
11:25:15 [WARNING] sysbus: Read from an unimplemented register FLASH:ACR (0x40023C00), returning a value from SVD: 0x0.
11:25:15 [WARNING] sysbus: Read from an unimplemented register FLASH:ACR (0x40023C00), returning a value from SVD: 0x0.
11:25:15 [WARNING] gpioa: Unhandled write to offset 0x20. Unhandled bits: [8-10] when writing value 0x700. Tags: AFSEL2 (0x7).
11:25:15 [WARNING] gpioa: Unhandled write to offset 0x20. Unhandled bits: [12-14] when writing value 0x7000. Tags: AFSEL3 (0x7).
11:25:15 [WARNING] nvic: Unhandled write to offset 0xD98, value 0x2.
11:25:15 [WARNING] nvic: Unhandled write to offset 0xD9C, value 0x200041D2.
11:25:15 [WARNING] nvic: Unhandled write to offset 0xDA0, value 0x150B000B.
11:25:15 [WARNING] nvic: Unhandled write to offset 0xD98, value 0x3.
11:25:15 [WARNING] nvic: Unhandled write to offset 0xDA0, value 0x0.
11:25:15 [WARNING] nvic: Unhandled write to offset 0xD98, value 0x4.
11:25:15 [WARNING] nvic: Unhandled write to offset 0xDA0, value 0x0.
11:25:15 [WARNING] nvic: Unhandled write to offset 0xD98, value 0x5.
11:25:15 [WARNING] nvic: Unhandled write to offset 0xDA0, value 0x0.
11:25:15 [WARNING] nvic: Unhandled write to offset 0xD98, value 0x6.
11:25:15 [WARNING] nvic: Unhandled write to offset 0xDA0, value 0x0.
11:25:15 [WARNING] nvic: Unhandled write to offset 0xD98, value 0x7.
11:25:15 [WARNING] nvic: Unhandled write to offset 0xDA0, value 0x0.
11:25:15 [INFO] usart2: [host: 0.5s (+0.5s)|virt: 0.12ms (+0.12ms)] *** Booting Zephyr OS build zephyr-v3.2.0-2018-g5a5e15fc958a ***
11:25:15 [WARNING] nvic: Unhandled write to offset 0xD98, value 0x2.
11:25:15 [WARNING] nvic: Unhandled write to offset 0xD9C, value 0x200041D2.
11:25:15 [WARNING] nvic: Unhandled write to offset 0xDA0, value 0x150B000B.
11:25:15 [WARNING] nvic: Unhandled write to offset 0xD98, value 0x3.
11:25:15 [WARNING] nvic: Unhandled write to offset 0xDA0, value 0x0.
11:25:15 [WARNING] nvic: Unhandled write to offset 0xD98, value 0x4.
11:25:15 [WARNING] nvic: Unhandled write to offset 0xDA0, value 0x0.
11:25:15 [WARNING] nvic: Unhandled write to offset 0xD98, value 0x5.
11:25:15 [WARNING] nvic: Unhandled write to offset 0xDA0, value 0x0.
11:25:15 [WARNING] nvic: Unhandled write to offset 0xD98, value 0x6.
11:25:15 [WARNING] nvic: Unhandled write to offset 0xDA0, value 0x0.
11:25:15 [WARNING] nvic: Unhandled write to offset 0xD98, value 0x7.
11:25:15 [WARNING] nvic: Unhandled write to offset 0xDA0, value 0x0.
11:25:15 [INFO] usart2: [host: 0.51s (+5ms)|virt:    0.13ms (+4µs)] [2J[15;1HDemo Description
11:25:15 [INFO] usart2: [host: 0.51s (+1.94ms)|virt:     0.13ms (+0s)] ----------------
11:25:15 [INFO] usart2: [host: 0.52s (+7.13ms)|virt:     0.13ms (+0s)] An implementation of a solution to the Dining Philosophers
11:25:15 [INFO] usart2: [host: 0.53s (+6.94ms)|virt:    0.2ms (+73µs)] problem (a classic multi-thread synchronization problem).
11:25:16 [INFO] usart2: [host: 0.53s (+5.83ms)|virt:      0.2ms (+0s)] This particular implementation demonstrates the usage of multiple
11:25:16 [INFO] usart2: [host: 0.54s (+7.11ms)|virt:      0.2ms (+0s)] preemptible and cooperative threads of differing priorities, as
11:25:16 [INFO] usart2: [host: 0.54s (+5.95ms)|virt:      0.2ms (+0s)] well as dynamic mutexes and thread sleeping.
11:25:16 [WARNING] nvic: Unhandled write to offset 0xD98, value 0x2.
11:25:16 [WARNING] nvic: Unhandled write to offset 0xD9C, value 0x20002792.
11:25:16 [WARNING] nvic: Unhandled write to offset 0xDA0, value 0x150B000B.
11:25:16 [WARNING] nvic: Unhandled write to offset 0xD98, value 0x3.
11:25:16 [WARNING] nvic: Unhandled write to offset 0xDA0, value 0x0.
11:25:16 [WARNING] nvic: Unhandled write to offset 0xD98, value 0x4.
11:25:16 [WARNING] nvic: Unhandled write to offset 0xDA0, value 0x0.
11:25:16 [WARNING] nvic: Unhandled write to offset 0xD98, value 0x5.
11:25:16 [WARNING] nvic: Unhandled write to offset 0xDA0, value 0x0.
11:25:16 [WARNING] nvic: Unhandled write to offset 0xD98, value 0x6.
11:25:16 [WARNING] nvic: Unhandled write to offset 0xDA0, value 0x0.
11:25:16 [WARNING] nvic: Unhandled write to offset 0xD98, value 0x7.
11:25:16 [WARNING] nvic: Unhandled write to offset 0xDA0, value 0x0.
11:25:16 [INFO] usart2: [host: 0.55s (+8.77ms)|virt: 0.31ms (+0.11ms)] [5;1HPhilosopher 4 [C:-1]        STARVING       
11:25:16 [ERROR] cpu0: Profiler: Trying to return from frame while internal stack tracking is empty
11:25:16 [ERROR] cpu0: Profiler: Trying to return from frame while internal stack tracking is empty
11:25:16 [ERROR] cpu0: Profiler: Trying to return from frame while internal stack tracking is empty
11:25:16 [ERROR] cpu0: Profiler: Trying to return from frame while internal stack tracking is empty
11:25:16 [INFO] usart2: [host: 0.56s (+3.24ms)|virt:    0.4ms (+91µs)] [5;1HPhilosopher 4 [C:-1]    HOLDING ONE FORK   
11:25:16 [ERROR] cpu0: Profiler: Trying to return from frame while internal stack tracking is empty
11:25:16 [ERROR] cpu0: Profiler: Trying to return from frame while internal stack tracking is empty
11:25:16 [ERROR] cpu0: Profiler: Trying to return from frame while internal stack tracking is empty
11:25:16 [ERROR] cpu0: Profiler: Trying to return from frame while internal stack tracking is empty
11:25:16 [ERROR] cpu0: Profiler: Trying to return from frame while internal stack tracking is empty
11:25:16 [ERROR] cpu0: Profiler: Trying to return from frame while internal stack tracking is empty
11:25:16 [ERROR] cpu0: Profiler: Trying to return from frame while internal stack tracking is empty
11:25:16 [ERROR] cpu0: Profiler: Trying to return from frame while internal stack tracking is empty
11:25:16 [INFO] usart2: [host:    0.56s (+5ms)|virt:      0.4ms (+0s)] [5;1HPhilosopher 4 [C:-1]   EATING  [  25 ms ] 
11:25:16 [ERROR] cpu0: Profiler: Trying to return from frame while internal stack tracking is empty
11:25:16 [WARNING] nvic: Unhandled write to offset 0xD98, value 0x2.
11:25:16 [WARNING] nvic: Unhandled write to offset 0xD9C, value 0x200041D2.
11:25:16 [WARNING] nvic: Unhandled write to offset 0xDA0, value 0x150B000B.
11:25:16 [WARNING] nvic: Unhandled write to offset 0xD98, value 0x3.
11:25:16 [WARNING] nvic: Unhandled write to offset 0xDA0, value 0x0.
11:25:16 [WARNING] nvic: Unhandled write to offset 0xD98, value 0x4.
11:25:16 [WARNING] nvic: Unhandled write to offset 0xDA0, value 0x0.