10:33:57 [INFO] System bus created. 10:33:58 [INFO] Downloading https://dl.antmicro.com/projects/renode/svd/STM32F40x.svd.gz. 10:33:58 [INFO] Download done. 10:33:58 [INFO] Decompressing file 10:33:58 [INFO] Decompression done 10:33:59 [INFO] sysbus: Loaded SVD: /tmp/renode-8438/05170960-f1eb-4753-9171-e56acddf0a1a.tmp. Name: STM32F40x. Description: STM32F40x. 10:33:59 [INFO] sysbus: Loading segment of 17020 bytes length at 0x8000000. 10:33:59 [INFO] sysbus: Loading segment of 160 bytes length at 0x800427C. 10:33:59 [INFO] sysbus: Loading segment of 10208 bytes length at 0x200000A0. 10:33:59 [INFO] cpu0: Setting initial values: PC = 0x80012ED, SP = 0x20001E80. 10:33:59 [INFO] 96b_aerocore2: Machine started. 10:33:59 [WARNING] nvic: Unhandled write to offset 0xD28, value 0xFFFFFFFF. 10:33:59 [WARNING] nvic: Unhandled write to offset 0xD2C, value 0xFFFFFFFF. 10:33:59 [WARNING] nvic: Unhandled write to offset 0xD94, value 0x0. 10:33:59 [WARNING] nvic: Unhandled write to offset 0xD98, value 0x0. 10:33:59 [WARNING] nvic: Unhandled write to offset 0xD9C, value 0x8000010. 10:33:59 [WARNING] nvic: Unhandled write to offset 0xDA0, value 0x7020029. 10:33:59 [WARNING] nvic: Unhandled write to offset 0xD98, value 0x1. 10:33:59 [WARNING] nvic: Unhandled write to offset 0xD9C, value 0x20000011. 10:33:59 [WARNING] nvic: Unhandled write to offset 0xDA0, value 0x110B0023. 10:33:59 [WARNING] nvic: Unhandled write to offset 0xD94, value 0x5. 10:33:59 [WARNING] sysbus: Read from an unimplemented register FLASH:ACR (0x40023C00), returning a value from SVD: 0x0. 10:33:59 [WARNING] sysbus: Write of value 0x200 to an unimplemented register FLASH:ACR (0x40023C00) generated from SVD. 10:33:59 [WARNING] sysbus: Read from an unimplemented register FLASH:ACR (0x40023C00), returning a value from SVD: 0x0. 10:33:59 [WARNING] sysbus: Write of value 0x400 to an unimplemented register FLASH:ACR (0x40023C00) generated from SVD. 10:33:59 [WARNING] sysbus: Read from an unimplemented register PWR:CR (0x40007000), returning a value from SVD: 0x0. 10:33:59 [WARNING] sysbus: Read from an unimplemented register PWR:CR (0x40007000), returning a value from SVD: 0x0. 10:33:59 [WARNING] sysbus: Read from an unimplemented register PWR:CR (0x40007000), returning a value from SVD: 0x0. 10:33:59 [WARNING] sysbus: Read from an unimplemented register FLASH:ACR (0x40023C00), returning a value from SVD: 0x0. 10:33:59 [WARNING] sysbus: Write of value 0x0 to an unimplemented register FLASH:ACR (0x40023C00) generated from SVD. 10:33:59 [WARNING] sysbus: Read from an unimplemented register FLASH:ACR (0x40023C00), returning a value from SVD: 0x0. 10:33:59 [WARNING] gpioe: Unhandled write to offset 0x20. Unhandled bits: [7] when writing value 0x80. Tags: AFSEL1 (0x8). 10:33:59 [WARNING] gpioe: Unhandled write to offset 0x20. Unhandled bits: [3] when writing value 0x8. Tags: AFSEL0 (0x8). 10:33:59 [WARNING] gpioe: Unhandled write to offset 0x24. Unhandled bits: [3] when writing value 0x8. Tags: AFSEL8 (0x8). 10:33:59 [WARNING] gpioe: Unhandled write to offset 0x20. Unhandled bits: [31] when writing value 0x80000000. Tags: AFSEL7 (0x8). 10:33:59 [WARNING] gpiod: Unhandled write to offset 0x24. Unhandled bits: [0-2] when writing value 0x7. Tags: AFSEL8 (0x7). 10:33:59 [WARNING] gpiod: Unhandled write to offset 0x24. Unhandled bits: [4-6] when writing value 0x70. Tags: AFSEL9 (0x7). 10:33:59 [WARNING] gpiod: Unhandled write to offset 0x20. Unhandled bits: [20-22] when writing value 0x700000. Tags: AFSEL5 (0x7). 10:33:59 [WARNING] gpiod: Unhandled write to offset 0x20. Unhandled bits: [24-26] when writing value 0x7000000. Tags: AFSEL6 (0x7). 10:33:59 [WARNING] gpiob: Unhandled write to offset 0x20. Unhandled bits: [24-26] when writing value 0x7000000. Tags: AFSEL6 (0x7). 10:33:59 [WARNING] gpiob: Unhandled write to offset 0x20. Unhandled bits: [28-30] when writing value 0x70000000. Tags: AFSEL7 (0x7). 10:33:59 [WARNING] nvic: Unhandled write to offset 0xD98, value 0x2. 10:33:59 [WARNING] nvic: Unhandled write to offset 0xD9C, value 0x20001A92. 10:33:59 [WARNING] nvic: Unhandled write to offset 0xDA0, value 0x150B000B. 10:33:59 [WARNING] nvic: Unhandled write to offset 0xD98, value 0x3. 10:33:59 [WARNING] nvic: Unhandled write to offset 0xDA0, value 0x0. 10:33:59 [WARNING] nvic: Unhandled write to offset 0xD98, value 0x4. 10:33:59 [WARNING] nvic: Unhandled write to offset 0xDA0, value 0x0. 10:33:59 [WARNING] nvic: Unhandled write to offset 0xD98, value 0x5. 10:33:59 [WARNING] nvic: Unhandled write to offset 0xDA0, value 0x0. 10:33:59 [WARNING] nvic: Unhandled write to offset 0xD98, value 0x6. 10:33:59 [WARNING] nvic: Unhandled write to offset 0xDA0, value 0x0. 10:33:59 [WARNING] nvic: Unhandled write to offset 0xD98, value 0x7. 10:33:59 [WARNING] nvic: Unhandled write to offset 0xDA0, value 0x0. 10:33:59 [INFO] uart7: [host: 0.51s (+0.51s)|virt: 0.1ms (+0.1ms)] *** Booting Zephyr OS build zephyr-v3.1.0-2265-g62f19cc6b3d4 *** 10:33:59 [WARNING] nvic: Unhandled write to offset 0xD98, value 0x2. 10:33:59 [WARNING] nvic: Unhandled write to offset 0xD9C, value 0x20001A92. 10:33:59 [WARNING] nvic: Unhandled write to offset 0xDA0, value 0x150B000B. 10:33:59 [WARNING] nvic: Unhandled write to offset 0xD98, value 0x3. 10:33:59 [WARNING] nvic: Unhandled write to offset 0xDA0, value 0x0. 10:33:59 [WARNING] nvic: Unhandled write to offset 0xD98, value 0x4. 10:33:59 [WARNING] nvic: Unhandled write to offset 0xDA0, value 0x0. 10:33:59 [WARNING] nvic: Unhandled write to offset 0xD98, value 0x5. 10:33:59 [WARNING] nvic: Unhandled write to offset 0xDA0, value 0x0. 10:33:59 [WARNING] nvic: Unhandled write to offset 0xD98, value 0x6. 10:33:59 [WARNING] nvic: Unhandled write to offset 0xDA0, value 0x0. 10:33:59 [WARNING] nvic: Unhandled write to offset 0xD98, value 0x7. 10:33:59 [WARNING] nvic: Unhandled write to offset 0xDA0, value 0x0. 10:33:59 [INFO] uart7: [host: 0.52s (+6.44ms)|virt: 0.16ms (+58µs)] [2J[15;1HDemo Description 10:33:59 [INFO] uart7: [host: 0.52s (+0.14ms)|virt: 0.18ms (+24µs)] ---------------- 10:33:59 [INFO] uart7: [host: 0.52s (+1.8ms)|virt: 0.2ms (+18µs)] An implementation of a solution to the Dining Philosophers 10:33:59 [INFO] uart7: [host: 0.52s (+0.7ms)|virt: 0.2ms (+0s)] problem (a classic multi-thread synchronization problem). 10:33:59 [INFO] uart7: [host: 0.52s (+0.52ms)|virt: 0.2ms (+0s)] This particular implementation demonstrates the usage of multiple 10:33:59 [INFO] uart7: [host: 0.52s (+0.53ms)|virt: 0.3ms (+0.1ms)] preemptible and cooperative threads of differing priorities, as 10:33:59 [INFO] uart7: [host: 0.53s (+0.35ms)|virt: 0.3ms (+0s)] well as dynamic mutexes and thread sleeping. 10:33:59 [WARNING] nvic: Unhandled write to offset 0xD98, value 0x2. 10:33:59 [WARNING] nvic: Unhandled write to offset 0xD9C, value 0x20001412. 10:33:59 [WARNING] nvic: Unhandled write to offset 0xDA0, value 0x150B000B. 10:33:59 [WARNING] nvic: Unhandled write to offset 0xD98, value 0x3. 10:33:59 [WARNING] nvic: Unhandled write to offset 0xDA0, value 0x0. 10:33:59 [WARNING] nvic: Unhandled write to offset 0xD98, value 0x4. 10:33:59 [WARNING] nvic: Unhandled write to offset 0xDA0, value 0x0. 10:33:59 [WARNING] nvic: Unhandled write to offset 0xD98, value 0x5. 10:33:59 [WARNING] nvic: Unhandled write to offset 0xDA0, value 0x0. 10:33:59 [WARNING] nvic: Unhandled write to offset 0xD98, value 0x6. 10:33:59 [WARNING] nvic: Unhandled write to offset 0xDA0, value 0x0. 10:33:59 [WARNING] nvic: Unhandled write to offset 0xD98, value 0x7. 10:33:59 [WARNING] nvic: Unhandled write to offset 0xDA0, value 0x0. 10:33:59 [INFO] uart7: [host: 0.53s (+1.44ms)|virt: 0.34ms (+43µs)] [5;1HPhilosopher 4 [C:-1] STARVING 10:33:59 [INFO] uart7: [host: 0.53s (+1.57ms)|virt: 0.4ms (+57µs)] [5;1HPhilosopher 4 [C:-1] HOLDING ONE FORK 10:33:59 [INFO] uart7: [host: 0.53s (+0.62ms)|virt: 0.4ms (+0s)] [5;1HPhilosopher 4 [C:-1] EATING [ 25 ms ] 10:33:59 [WARNING] nvic: Unhandled write to offset 0xD98, value 0x2. 10:33:59 [WARNING] nvic: Unhandled write to offset 0xD9C, value 0x20001A92. 10:33:59 [WARNING] nvic: Unhandled write to offset 0xDA0, value 0x150B000B. 10:33:59 [WARNING] nvic: Unhandled write to offset 0xD98, value 0x3. 10:33:59 [WARNING] nvic: Unhandled write to offset 0xDA0, value 0x0. 10:33:59 [WARNING] nvic: Unhandled write to offset 0xD98, value 0x4. 10:33:59 [WARNING] nvic: Unhandled write to offset 0xDA0, value 0x0. 10:33:59 [WARNING] nvic: Unhandled write to offset 0xD98, value 0x5. 10:33:59 [WARNING] nvic: Unhandled write to offset 0xDA0, value 0x0.