I downloaded the latest repository of seL4 from GitHub. When I am trying to build the kernel using make for ia32 architecture and pc99 platform I am getting this error :
yashward@macaroni-09:~/cs736-proj/seL4$ make ARCH=ia32 PLAT=pc99
[CC] kernel_final.s
src/arch/ia32/kernel/boot_sys.c:75:26: error: ‘CONFIG_MAX_NUM_IOAPIC’ undeclared here (not in a function)
paddr_t ioapic_paddr[CONFIG_MAX_NUM_IOAPIC];
^
src/plat/pc99/machine/hardware.c: In function ‘maskInterrupt’:
src/plat/pc99/machine/hardware.c:54:9: error: implicit declaration of function ‘pic_mask_irq’ [-Werror=implicit-function-declaration]
pic_mask_irq(mask, irq);
^
src/plat/pc99/machine/hardware.c:54:9: error: nested extern declaration of ‘pic_mask_irq’ [-Werror=nested-externs]
cc1: all warnings being treated as errors
make: *** [kernel_final.s] Error 1
I am trying to compile it on a 64 bit machine with red hat linux machine operating system on it.
Please help me with this issue.