How to rebuild kernel?

Help
2008-03-02
2013-05-09
  • I have downloaded coLinux-0.7.2 folder.
    But I have no clue I can access this source code for rebuilding kernel.
    Any instruction rebuilding kernel?
    Thank you.

     
    • David Leffler
      David Leffler
      2008-03-07

      While not a definitive answer, coLinux is different that standard linux.  The kernel is the 'linux.sys' file in the windows folder, not inside the image file.

      In standard linux you'd recompile the configured source normally in /usr/src/linux which would likely place an updated kernel file in /boot.

      In coLinux all this is done in the MS Windows environment.  A good site for info in this more complicated procedure would be Henry Nestler's http://www.henrynestler.com/

      FYI, I've never recomplied the coLinux kernel, so my explanation may not be entirely accurate.

       
    • Henry N.
      Henry N.
      2008-03-08

      Something was wrong above.
      'linux.sys' is the Operating System switcher and hardware device mapper (cobd, eth0, ...).
      'vmlinux' is the Linux kernel.

      Please read "4.2 Compiling the Cooperative Linux kernel" in doc/building inside the colinux source or more recent online:
      http://colinux.svn.sourceforge.net/svnroot/colinux/branches/stable/doc/building

      You can ignore the part of gcc version exactly matching. coLinux 0.7.2 has opened more.
      Usable gcc for kernel: 3.4.x, 4.0.x, 4.1.x, 4.2.x up to 4.3.0

       
      • Thank you for your information Henry.
        I will look into the referred documents ant try to rebuild it.
        Thank you again.