26 reputation
16
bio website
location
age 26
visits member for 1 year, 5 months
seen Jul 3 at 14:00

Feb
3
awarded  Notable Question
Dec
13
comment Hungry hungry BIOS: why do I have less than 4 GiB of memory?
No, this is not the answer, because Memory Remapping already takes place. Before I posted the complete E820 map, you could already see that some of the physical RAM is remapped above the 32-bit boundary. My BIOS gives me no control over this, by the way.
Dec
13
revised Hungry hungry BIOS: why do I have less than 4 GiB of memory?
added 2367 characters in body
Oct
26
revised Hungry hungry BIOS: why do I have less than 4 GiB of memory?
machine specs
Oct
26
revised Hungry hungry BIOS: why do I have less than 4 GiB of memory?
added 20 characters in body
Oct
26
revised Hungry hungry BIOS: why do I have less than 4 GiB of memory?
added 773 characters in body
Oct
25
revised Hungry hungry BIOS: why do I have less than 4 GiB of memory?
found an interesting line in dmesg
Oct
25
awarded  Commentator
Oct
25
comment Hungry hungry BIOS: why do I have less than 4 GiB of memory?
I have those two lines as well. Those patches only apply to lower memory, so they take away less than 1 MiB.
Oct
24
comment Hungry hungry BIOS: why do I have less than 4 GiB of memory?
@DoktoroReichard: that's accounted for in /proc/meminfo, as PageTables. It's 'only' 35 MiB.
Oct
24
comment Hungry hungry BIOS: why do I have less than 4 GiB of memory?
As noted in the question, my video card has (or is advertised to have) 1 GiB of dedicated memory. The driver acknowledges this figure.
Oct
24
asked Hungry hungry BIOS: why do I have less than 4 GiB of memory?
Aug
21
awarded  Editor
Aug
21
revised disable specific PCI device at boot
Module name changed.
Aug
21
awarded  Popular Question
Jun
6
comment Why is grep faster than ack
ack is interpreted by Perl, while grep implementations are often written in C and compiled to well-optimized native machine code.
Mar
5
comment disable specific PCI device at boot
@Wyzard: there are two PCI devices on my laptop that have EHCI controller functions. The controller for my external ports is a different PCI device than the controller for hardwired devices. Maybe unlikely, but still true.
Feb
25
comment disable specific PCI device at boot
Not yet. I had the idea to hack around in /lib/modules/`uname -r`/modules.alias, but I'm not sure if that'll work at all.
Feb
21
comment disable specific PCI device at boot
@slm: I'm not sure if I can block modaliases through the modprobe blacklist (my system seems to ignore the line I gave it), but I can't just remove the module (ehci_hcd), since that would disable all USB hosts on my system. I just want to disable this specific device, based on its vendor, dev, subvendor, and subdev.
Feb
21
comment disable specific PCI device at boot
@StefanSeidel: Good point. I have now, but it doesn't seem to help. Perhaps slm is right in thinking that blacklisting a modalias like this needs a different syntax or method.