logo

Linux on the Samsung x10 1400

This is mainly for myself because I keep forgetting what I did to make Linux work on my notebook. I use Gentoo Linux, but this document should apply to almost any distribution.

Installation

Installation went fairly smoothly, just make sure you have some time to spare as bootstrapping took me nearly 4 hours.

Kernel

I currently use linux-2.6.12-gentoo-r6
The only thing that didn't work out of the box was ACPI, in order to get this to work I needed to create my own DSDT table as the one provided in the BIOS seems to be b0rked.
First I needed to obtain the iasl compiler, and a matching DSDT.dsl, but since I upgraded from 512 to 1024MB of RAM I was unable to find one. I was able to modify the 512MB DSDT to 1024MB, it can be found here. After I had a matching DSDT I needed to compile it: iasl -tc dsdt.dsl The resulting DSDT.aml must then be appended to the initrd, if you already have one use mkinitrd, if not just copy it to /boot/initrd.
After I had a working DSDT binary I needed to patch the kernel using this patch I found here. Then I enabled reading the DSDT from initrd (ACPI options), compiled the kernel and it worked. I use wmlaptop for controlling the ACPI functions.
update: Some poeple asked me for my kernel .config file, so I uploaded it here.

links

Andreas Grau has a very nice if somewhat outdated howto, unfortunately in german.

Comments

0:0: Comment by hype ( http://hypepage.de/x10/) on 2005-08-04 11:43 AM from 141.7.151.31
Hello, nice page. I also mde a page for linux on x10. It can be found here: http://hypepage.de/x10/ Greetz hype
0:1: Comment by Andreas ( http://andreasgrau.de) on 2005-08-15 11:03 PM from 84.56.175.31
Hi There is an english version of my homepage available under: http://www.andreasgrau.de/index.php?lang:english;loc:x10 bye

Add Comment

name:
email:
homepage:
comment:
Please enter the following code into the "verify" field below:
Verify: