/trunk/kernel/kernel.config |
---|
103,7 → 103,7 |
! [ARCH=ia64] CONFIG_VHPT (n/y) |
# Use TSB |
! [ARCH=sparc64] CONFIG_TSB (n/y) |
! [ARCH=sparc64] CONFIG_TSB (y/n) |
# Support for Z8530 serial port |
! [ARCH=sparc64] CONFIG_Z8530 (y/n) |
/trunk/boot/boot.config |
---|
16,6 → 16,9 |
@ "native" Native |
! COMPILER (choice) |
# Start AP processors |
! [ARCH=sparc64] CONFIG_SMP (y/n) |
# Debug bootloader |
! [ARCH=ppc32] CONFIG_DEBUG (n/y) |
/trunk/boot/Makefile |
---|
47,6 → 47,10 |
DEFS += -DCONFIG_BAT |
endif |
ifeq ($(CONFIG_SMP),y) |
DEFS += -DCONFIG_SMP |
endif |
.PHONY: all build config distclean clean generic_clean |
all: |
/trunk/boot/arch/sparc64/loader/main.c |
---|
98,10 → 98,12 |
bootinfo.ofw_root = ofw_tree_build(); |
printf("done.\n"); |
#ifdef CONFIG_SMP |
printf("\nChecking for secondary processors..."); |
if (!ofw_cpu()) |
printf("Error: unable to get CPU properties\n"); |
printf("done.\n"); |
#endif |
printf("\nBooting the kernel...\n"); |
jump_to_kernel((void *) KERNEL_VIRTUAL_ADDRESS, |