Tagged Questions

0
votes
1answer
72 views

PHP compilation - link to library

I am compiling php 5.3.13 on my server. I want to create an autonome php5 folder. So prefix is: /usr/local/php5 In this folder I have a lib folder, where I put all lib needed for php to be executed ...
4
votes
1answer
1k views

How do I convert a kernel .config file from 32-bit to 64-bit?

At this page you can download a configuration file that lets you target a particular notebook architecture during the compilation of a new 32-bit Linux kernel. I need a 64 bit version. What do I ...
1
vote
1answer
148 views

Edit the .config file when en/disabling a particular option like CONFIG_CPU_FREQ?

From here: http://www.xenomai.org/index.php/FAQs#Which_kernel_settings_should_be_avoided.3F Which kernel settings should be avoided? Note that Xenomai will warn you about known invalid ...
1
vote
1answer
497 views

Where is CONFIG_COMPAT_VDSO in make menuconfig?

I'm trying to compile a Linux Kernel to run light and paravirtualized on XenServer 5.6 fp1. I'm using the guide given here: ...
8
votes
2answers
173 views

best way to set up separate linux environment in ~

I do most of my work (involves a lot of C/Python) on a development server that is shared with several other people. As a result we all seem to do a bit of the system administration chores (there is ...