1 # 2 # SGI-IP32 (O2) 3 # 4 # Set the load address to >= 80069000 if you w 5 # 0xffffffff80004000 for production kernels. 6 # a multiple of the kernel stack size or the h 7 # will break. 8 # 9 cflags-$(CONFIG_SGI_IP32) += -I$(srctree 10 load-$(CONFIG_SGI_IP32) += 0xffffffff8
Linux® is a registered trademark of Linus Torvalds in the United States and other countries.
TOMOYO® is a registered trademark of NTT DATA CORPORATION.