John Baldwin 48ccf80238 Use 'extern uint8_t' instead of 'extern void' for external symbols. ... The beri boot loaders depend on symbols defined in linker scripts or assembly files. The boot loaders do not care about the type of these symbols but just want to extract a pointer to them. Older versions of GCC permitted external symbols to be declared of type 'void' and then '&foo' generated a void pointer to the memory at the symbol's address. However, void objects are not valid C and newer versions of GCC error if these are used. Instead, declare these symbols as being bytes (or an array of bytes in the cheri_sdcard_vaddr case). Sponsored by: DARPA / AFRL		2018-01-03 17:40:51 +00:00
..
beri	Use 'extern uint8_t' instead of 'extern void' for external symbols.	2018-01-03 17:40:51 +00:00
uboot	Move loader help file definitions to being 100% inside of loader.mk.	2017-12-18 04:51:34 +00:00
Makefile
Makefile.inc