I'm working with the redboot floppy image and need to find a way to get more user space memory. The current (default) config leaves me with only ~96 kB in user space. However, I've found that this isn't enough for loading even simple elf images. Is there something that I can do to bump this up? thanks, bryan