10:56:33 [INFO] System bus created.
10:56:34 [INFO] sysbus: Loading segment of 58772 bytes length at 0x0.
10:56:34 [INFO] sysbus: Loading segment of 400 bytes length at 0xE594.
10:56:34 [INFO] sysbus: Loading segment of 12472 bytes length at 0x20000190.
10:56:35 [INFO] cpu0: Setting initial values: PC = 0x5441, SP = 0x20002300.
10:56:35 [INFO] nrf51_vbluno51: Machine started.
10:56:35 [WARNING] sysbus: [cpu0: 0x6B50] ReadDoubleWord from non existing peripheral at 0xF0000FE0.
10:56:35 [WARNING] sysbus: [cpu0: 0x7290] WriteDoubleWord to non existing peripheral at 0x4000617C, value 0x0.
10:56:35 [WARNING] sysbus: [cpu0: 0x7290] WriteDoubleWord to non existing peripheral at 0x40006304, value 0x80000000.
10:56:35 [WARNING] uart0: Unhandled write to offset 0x50C. Unhandled bits: [0, 2, 4-31] when writing value 0xA. Tags: PIN (0x15), PORT (0x1), RESERVED (0x1FFFFFF), CONNECT (0x1).
10:56:35 [WARNING] sysbus: [cpu0: 0x6AF6] WriteDoubleWord to non existing peripheral at 0x50000508, value 0x400.
10:56:35 [WARNING] sysbus: [cpu0: 0xB41A] WriteDoubleWord to non existing peripheral at 0x50000728, value 0x3.
10:56:35 [WARNING] uart0: Unhandled write to offset 0x514. Unhandled bits: [2, 4-31] when writing value 0xB. Tags: PIN (0x14), PORT (0x1), RESERVED (0x1FFFFFF), CONNECT (0x1).
10:56:35 [WARNING] sysbus: [cpu0: 0xB40E] WriteDoubleWord to non existing peripheral at 0x5000072C, value 0x0.
10:56:35 [WARNING] uart0: Unhandled write to offset 0x508. Unhandled bits: [0-1, 4-31] when writing value 0xC. Tags: PIN (0x13), PORT (0x1), RESERVED (0x1FFFFFF), CONNECT (0x1).
10:56:35 [WARNING] sysbus: [cpu0: 0x6AFC] WriteDoubleWord to non existing peripheral at 0x50000508, value 0x1000.
10:56:35 [WARNING] sysbus: [cpu0: 0xB40E] WriteDoubleWord to non existing peripheral at 0x50000730, value 0x3.
10:56:35 [WARNING] uart0: Unhandled write to offset 0x510. Unhandled bits: [1, 4-31] when writing value 0xD. Tags: PIN (0x12), PORT (0x1), RESERVED (0x1FFFFFF), CONNECT (0x1).
10:56:35 [WARNING] sysbus: [cpu0: 0xB40E] WriteDoubleWord to non existing peripheral at 0x50000734, value 0x0.
10:56:35 [WARNING] rtc1: Unhandled write to offset 0x304. Unhandled bits: [1] when writing value 0x2. Tags: OVRFLW (0x1).
10:56:35 [WARNING] clock: Unhandled read from offset 0x414.
10:56:35 [WARNING] timer2: Unhandled write to offset 0x508, value 0x0.
10:56:35 [INFO] uart0: [host: 0.52s (+0.52s)|virt: 0.8ms (+0.8ms)] [m
10:56:35 [INFO] uart0: [host: 0.53s (+0.38ms)|virt:    0.8ms (+0s)] 
10:56:35 [INFO] uart0: [host: 0.54s (+15.62ms)|virt: 4.3ms (+3.5ms)] [1;32muart:~$ [m
10:56:35 [INFO] uart0: [host:   0.66s (+0.12s)|virt: 56.4ms (+52.1ms)] [1;32muart:~$ [mdemo board
10:56:35 [INFO] uart0: [host:  0.66s (+2.49ms)|virt:  56.6ms (+0.2ms)] nrf51_vbluno51
10:56:35 [INFO] nrf51_vbluno51: Machine paused.
10:56:35 [INFO] nrf51_vbluno51: Disposed.
10:56:35 [INFO] uart0: [host: 0.69s (+28.99ms)|virt:  62.2ms (+5.6ms)] [1;32muart:~$ [m