Installing Linux Debian Wheezy on an HP Elitebook Revolve 810

Cédric SILEO, Software Engineer

June 22th, 2013

Requirements :

Strongly recommended :

Create a Windows restoring disk

  1. Plug your 16Gb USB flash drive
  2. Start the machine and Windows
  3. In Windows, move your mouse in the top-right corner
  4. Select research > parameters
  5. Type "Recovery"
  6. Select "Create a recovery drive" (confirm the security dialog with Yes)
  7. Select "Copy contents from the recovery partition to the recovery drive"
  8. Select your USB flash drive, and click on "Next"
  9. Select "Create"

Create the linux installation disk

Warning: this will delete all your data on this flash drive!

  1. Start the Linux machine
  2. Plug your 2Gb USB flash drive
  3. In a shell, type (replace /dev/sdX with your flash drive, for example /dev/sdc ; be carefull: if you type the wrong device, it can delete all of your hard drive!):
sudo wget http://cdimage.debian.org/debian-cd/current-live/amd64/iso-hybrid/debian-live-7.0.0-amd64-gnome-desktop.iso sudo umount /dev/sdX sudo cat debian-live-7.0.0-amd64-gnome-desktop.iso>/dev/sdX sudo sync

Installing Linux

Warning: this will delete all your data on this machine, including Windows!

  1. Plug your 2Gb USB flash drive with Linux installation
  2. Start the machine
  3. Enter the startup menu with ESC
  4. Enter the BIOS setup with F10
  5. Select YES for "Log in into F10 as a guest user?" with ENTER
  6. Go to the System Configuration tab > Boot Options > SecureBoot Configuration and select SecureBoot with ENTER
  7. Go to the System Configuration tab > Boot Options > Boot Mode and select Legacy with ENTER
  8. Type ESC and ESC, then select Yes for "Save Changes?"

The machine is rebooting...

  1. Enter the startup menu with ESC
  2. Enter the Boot Device Options with F9
  3. Select USB Hard Drive 1 - USB Flash Disk
  4. Select Install
  5. Select your Language / Location / Locales / Keyboard
  6. For "Load missing firmware from removable media?" (WIFI), select "No"
  7. Type Hostname / Domain name / Root password / new user
  8. Select Guided - use entire disk
  9. Select the hard drive (sda)
  10. Select All files in one partition (recommended for new users)
  11. Remove the 2 partitions (with enter > Delete the partition)
  12. Select the primary partition
  13. Create a new partition, Continue, Primary, Done setting up the partition
  14. Finish partitioning and write changes to disk
  15. For the swap space warning, select "No"
  16. Write the changes to disks with "Yes"
  17. Use a network mirror and select your Country / Mirror / Proxy
  18. Install the GRUB boot loader to the master boot record with "Yes"
  19. Continue
Enjoy!

Enable more hardware

WIFI

In a shell, type:

sudo sed -i 's@debian/ wheezy main@debian/ wheezy main contrib non-free@g' /etc/apt/sources.list sudo apt-get update sudo apt-get install firmware-iwlwifi sudo reboot

Touchscreen

In a shell, type:

sudo wget https://www.kernel.org/pub/linux/kernel/v3.x/linux-3.9.7.tar.xz sudo tar -xvJf /usr/src/linux-3.9.7.tar.xz sudo mv linux-3.9.7 /usr/src sudo ln -s linux-3.9.7 /usr/src/linux cd /usr/src/linux sudo apt-get install libncurses-dev sudo make menuconfig

Save the config

sudo apt-get install kernel-package sudo fakeroot make-kpkg --initrd kernel_image sudo dpkg -i ../linux-image-3.9.7_3.9.7-10.00.Custom_amd64.deb sudo reboot

Brightness keys

In a shell, type:

sed -i 's/GRUB_CMDLINE_LINUX_DEFAULT="quiet"/GRUB_CMDLINE_LINUX_DEFAULT="quiet acpi_osi=\\"!Windows 2012\\""/g' /etc/default/grub update-grub reboot

Touchscreen scroll on Google Chrome

In Google Chrome, install:

https://chrome.google.com/webstore/detail/chrometouch/ncegfehgjifmmpnjaihnjpbpddjjebme

Restoring Windows

Warning: this will delete all your data on this machine!

  1. Plug your 16Gb USB flash drive with Windows
  2. Start the machine
  3. Enter the startup menu with ESC
  4. Enter the BIOS setup with F10
  5. Select YES for "Log in into F10 as a guest user?" with ENTER
  6. Go to the System Configuration tab > Boot Options > Boot Mode and select UEFI Native (Without CSM) with ENTER
  7. Type ESC and ESC, then select Yes for "Save Changes?"

The machine is rebooting...

  1. Enter the startup menu with ESC
  2. Enter the Boot Device Options with F9
  3. Select External USB Hard Drive
  4. Select the language and the keyboard
  5. Select Troubleshoot
  6. Select Reset your PC
  7. Next
  8. Oui, repartitionner les lecteurs
  9. Supprimer mes fichiers
  10. Réinitialiser

Network cards for OpenVZ

Linux 2.6.32 (openvz)
Wire network : (Intel 6235)
Intel 82579LM Gigabit

# wget https://www.kernel.org/pub/linux/kernel/v2.6/linux-2.6.32.tar.xz # wget http://download.openvz.org/kernel/branches/2.6.32/2.6.32-feoktistov.1/patches/patch-feoktistov.1-combined.gz # tar -xvzf linux-2.6.32.tar.xz # gzip -d patch-feoktistov.1-combined.gz # cd linux-2.6.32 # patch -P1 < ../patch-feoktistov.1-combined # https://downloadcenter.intel.com/Detail_Desc.aspx?agr=Y&ProdId=3299&DwnldID=15817&ProductFamily=Ethernet+Components&ProductLine=Ethernet+Controllers&ProductProduct=Intel%C2%AE+82579+Gigabit+Ethernet+Controller&lang=eng
# https://downloadcenter.intel.com/confirm.aspx?httpDown=http://downloadmirror.intel.com/15817/eng/e1000e-2.4.14.tar.gz&lang=eng&Dwnldid=15817&ProductID=3299&ProductFamily=Ethernet+Components&ProductLine=Ethernet+Controllers&ProductProduct=Intel%C2%AE+82579+Gigabit+Ethernet+Controller

In a shell, type:

wget http://downloadmirror.intel.com/15817/eng/e1000e-2.4.14.tar.gz tar -xvzf e1000e-2.4.14.tar.gz cd src make make install modprobe e1000e
Wireless network
Intel® Centrino® Advanced-N 6235 Wi-Fi plus Bluetooth* adapter
see https://backports.wiki.kernel.org/index.php/Documentation/compat-drivers

In a shell, type:

wget https://www.kernel.org/pub/linux/kernel/projects/backports/stable/v3.8/compat-drivers-3.8-1.tar.xz tar -xvzf compat-drivers-3.8-1.tar.xz ./scripts/driver-select iwlwifi make make install modprobe iwlwifi