06:44:47 [INFO] System bus created.
06:44:48 [INFO] Pseudorandom Number Generator was created with seed: 904226982
06:44:48 [INFO] sysbus: Loading segment of 27844 bytes length at 0x0.
06:44:48 [INFO] sysbus: Loading segment of 92 bytes length at 0x6CC4.
06:44:48 [INFO] sysbus: Loading segment of 10336 bytes length at 0x20000060.
06:44:48 [INFO] cpu0: Setting initial values: PC = 0x1AA1, SP = 0x20001EC0.
06:44:48 [INFO] frdm_k64f: Machine started.
06:44:48 [WARNING] sysbus: [cpu0: 0x14BC] WriteWord to non existing peripheral at 0x4005200E, value 0xC520.
06:44:48 [WARNING] sysbus: [cpu0: 0x14BC] WriteWord to non existing peripheral at 0x4005200E, value 0xD928.
06:44:48 [WARNING] sysbus: [cpu0: 0x14BC] ReadWord from non existing peripheral at 0x40052000.
06:44:48 [WARNING] sysbus: [cpu0: 0x14BC] WriteWord to non existing peripheral at 0x40052000, value 0x0.
06:44:48 [WARNING] nvic: Unhandled write to offset 0xD28, value 0xFFFFFFFF.
06:44:48 [WARNING] nvic: Unhandled write to offset 0xD2C, value 0xFFFFFFFF.
06:44:48 [WARNING] sysbus: [cpu0: 0x1CEC] ReadDoubleWord from non existing peripheral at 0x4000D000.
06:44:48 [WARNING] sysbus: [cpu0: 0x1CEC] WriteDoubleWord to non existing peripheral at 0x4000D000, value 0x0.
06:44:48 [WARNING] sysbus: [cpu0: 0x1CEC] ReadDoubleWord from non existing peripheral at 0x4000D000.
06:44:48 [WARNING] sysbus: [cpu0: 0x1CEC] WriteDoubleWord to non existing peripheral at 0x4000D000, value 0xF8000000.
06:44:48 [WARNING] sim: Unhandled read from offset 0x1040.
06:44:48 [WARNING] sim: Unhandled write to offset 0x1040, value 0x4.
06:44:48 [WARNING] sysbus: [cpu0: 0x1B52] ReadDoubleWord from non existing peripheral at 0x4000D400.
06:44:48 [WARNING] sysbus: [cpu0: 0x1B7C] ReadDoubleWord from non existing peripheral at 0x4000D404.
06:44:48 [WARNING] sysbus: [cpu0: 0x1B92] ReadDoubleWord from non existing peripheral at 0x4000D404.
06:44:57 [INFO] frdm_k64f: Machine paused.
06:44:57 [INFO] Skipping serialization of the 'sysbus.uart0-recorder' external as it's marked as transient
06:44:57 [INFO] frdm_k64f: Machine resumed.
06:44:57 [INFO] frdm_k64f: Machine paused.
06:44:57 [INFO] frdm_k64f: Disposed.