This monitoring framework have dependency of on k-hypervisor at arndaleboard (https://github.com/kesl/khypervisor)
If you want to test this code please refer to k-hypervisor's repository.
Debugging with GDB :
Start up monitoring guest and type "gdb" command, and The monitoring guest will be stopped.
Next step, run gdb at other host machine, and type "target remote /dev/ttyUSB#".
Demo video url : http://youtu.be/g8mm1AADN1E
hypervisor - monitor.c
vdev_hvc_monitor.c
vdev_monitor.c
vdev_monitor_utils.c
monitor_guest - gdb_stub.c
guest_monitor.c
monitor_cli.c
util - format.c
print.c
sscanf.c
string.c
include - arch_types.h
asm_arm_inline.h
format.h
print.h
serial_s5p.h
sscanf.h
string.h
uart_print.h
driver - serial_s5p.c
uart.c