Debian Wheezy 7.0 works flawlessly on the HP255 laptop.

Install Wheezy as usual then:

1. add wheezy-backports to your APT sources, add this line
   deb http://YOURMIRROR.debian.org/debian wheezy-backports main
   to your /etc/apt/sources.list (or add a new file with the “.list” extension to /etc/apt/sources.list.d/), replace YOURMIRROR with your preferred mirror name (or with “ftp” to use the main mirror)
2. resynchronize the package index files from their sources (you need to be root)
   # apt-get update
3. install some updated firmwares from the backport mirror:
   # apt-get -t wheezy-backports install firmware-realtek firmware-ralink
4. install linux-image from backports, please note that you may need to change the package name to fit the latest version available and your specific arch (take a look at your current kernel name with uname-r and find available backports with apt-cache -t wheezy-backports linux-image):
   # apt-get -t wheezy-backports install YOUR_LINUX_IMAGE_PACKAGE_NAME
   for example replace YOUR_LINUX_IMAGE_PACKAGE_NAME with linux-image-3.12-0.bpo.1-686-pae
5. install pulseaudio if it is not already installed:
   # apt-get install pulseaudio