[Vm-dev] [GSoC] Progress on the GdbARMPlugin