K 10
svn:author
V 6
andrew
K 8
svn:date
V 27
2014-10-18T13:38:04.749936Z
K 7
svn:log
V 196
Add an elf not so kgdb detects the kernel as a FreeBSD elf file. The
ELFNOTE macro is based on one from the FreeBSD/ARM Xen tree [1].

Obtained from:	Julien Grall <julien.grall AT linaro.org> [1]

END