> In order to re-compile the source code for your server, you will need
> to have the kernel-development source, when you build linux or
> in this case secure platform, i think that they give you the
> pre-compiled source code.
Funny, I was wondering about recompiling the checkpoint kernel,
but I could not find it in /usr/src
Maybe it is on the shipped cd as an additional feature or something.

> could look at www.kernel.org as this is the default kernel that most
> linux systems.
But isn't checkpoint's kernel a heavily modified version?

Regards,
Maciej

=================================================
To set vacation, Out-Of-Office, or away messages,
send an email to [EMAIL PROTECTED]
in the BODY of the email add:
set fw-1-mailinglist nomail
=================================================
To unsubscribe from this mailing list,
please see the instructions at
http://www.checkpoint.com/services/mailing.html
=================================================
If you have any questions on how to change your
subscription options, email
[EMAIL PROTECTED]
=================================================

Reply via email to