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