Arch Linux

lykwydchykyn

Member

Registered: 2013-07-11

Posts: 91

Dell E6440: sd card and cpu frequency

Just got a Dell e6440 for work; it came with Ubuntu 12.04 so I figured it'd be more Linux compatible.

I put Arch on it yesterday, and most things work but so far I have these two problems;

- The SD card reader doesn't detect.  I put in a known good SD card but nothing pops up in pcmanfm and nothing happens in dmesg to indicate a new block device.  I tried initiating a pci rescan by echoing 1 to /sys/bus/pci/rescan, but that still didn't find it.  Is there a package or driver I need to install?

- I can't seem to get CPU frequency info because /sys/devices/cpu/cpu0 doesn't exist.  The CPU is an intel i5 with 4 cores, and speedstep is enabled in the BIOS.

Thanks in advance for any advice.
EDIT:

I tried

modprobe acpi-cpufreq

and it gives no errors on the terminal or in dmesg, but

lsmod |grep cpu

returns nothing...

Last edited by lykwydchykyn (2013-12-15 04:06:50)

lykwydchykyn

Member

Registered: 2013-07-11

Posts: 91

Re: Dell E6440: sd card and cpu frequency

Ok, one problem down;  I managed to get cpu stuff working by disabling the intel_pstate driver as described on the cpu frequency scaling page in the wiki.

Just added "intel_pstate=disable" to my kernel command line and rebooted.  Suddenly it all works : )

Now to figure out the sd card thing...