
Intel
®
EP80579 Software Drivers for Embedded Applications on FreeBSD*
September 2009 GSG
Order Number: 320152-005US 19
System Requirements for Installing an OS on a Development Board—EP80579 Integrated
Processor
Note: Kernel compilation takes about 30 minutes to complete.
Install the recompiled kernel by executing the following commands:
cd /usr/src
make installkernel KERNCONF=MYKERNEL
Check if a new kernel was built by executing the following commands and examine the
date and time that the kernel was produced:
cd /boot/kernel
ls -l kern*
Rebooting the system brings the system up with the newly compiled kernel.
§ §
Comentarios a estos manuales