Actually I think end is a marker set by the linker (see below) for where the memory occupied by the bootloader code section ends, so everything between &end and MAXBRK is available for use by the allocator.
You could, maybe, look at boot.h?
Code:/* linker stuff */ extern void end;