Bug 494059: Add OpenOCD extensions

Change-Id: I0a2820f40c641a85aac11e8d72b6aca65f599b6e
Signed-off-by: John Dallaway <john@dallaway.org.uk>
6 files changed