HelenOS sources

BOOTINFO_BOOTARGS_BUFLEN   59 boot/arch/mips32/include/arch/types.h 	char bootargs[BOOTINFO_BOOTARGS_BUFLEN];
BOOTINFO_BOOTARGS_BUFLEN   69 kernel/arch/mips32/include/arch/arch.h 	char bootargs[BOOTINFO_BOOTARGS_BUFLEN];