On Mon, Nov 11, 2024 at 10:50:45AM +, Emanuele Rocca wrote:
> On 2024-11-11 04:53, Lionel Élie Mamane wrote:
>> Since Debian kernels don't work on the ThinkPad X13s yet, I run a
>> 6.6.12 kernel compiled from https://github.com/steev/linux.git
>> branch lenovo-x13s
Hi,
After much head-scratching of why I could not SSH-connect to the
computer in my basement (the SSH connection process would start but
then stall), while everything seemed normal on the physical console, I
understood that the USB-C Ethernet NIC that came with my Lenovo X13s
seems not to work wit
After the upgrade to bookworm/sid, the battery level is not anymore
shown. Trying to read most files in
/sys/class/power_supply/qcom-battmgr-bat/
returns error "No such device"
Downgrading to the previous kernel (the one in the install image) with
its own dtb file does not solve this issue, so it
On Tue, May 30, 2023 at 02:44:24PM +0200, Lionel Élie Mamane wrote:
> * how do I get an EFI shell without having to use the install USB
>stick
I see that Debian experimental has has en EFI shell in package
efi-shell-aa64, so I have my solution :)
Plus I filed https://bugs.debi
On Tue, May 30, 2023 at 12:35:08PM +0200, Lionel Élie Mamane wrote:
> I then upgraded "everything". Now the system won't boot anymore :-(
> It goes into grub alright, but after Grub it (..) reboots;
Something had changed the "debian" EFI boot option to load d
I initially successfully installed Debian some time ago on my Thinkpad
X13s using (a previous version of) the linaro instructions at
https://docs.google.com/document/d/1WuxE-42ZeOkKAft5FuUk6C2fonkQ8sqNZ56ZmZ49hGI
This installed kernel 6.0.0-rc3-custom.
Today I decided to upgrade a bit, so I added
On Wed, Mar 22, 2023 at 07:53:36AM +0800, Paul Wise wrote:
> Please note the Lenovo discount for Debian members:
> https://wiki.debian.org/MemberBenefits#Lenovo
Oh, schweet, thanks indeed.
On Tue, Mar 21, 2023 at 01:21:04PM -0600, Gunnar Wolf wrote:
> Nowadays, many people report good support with Lenovo's high-range ARM
> system, the Thinkpad X13S. I'd jump for mine if I wanted to buy a
> >US$1500 laptop (which I don't, of course!)
It has a trackpoint! Killer feature. It seems to
On Tue, Mar 21, 2023 at 08:33:26AM +, Andrew M.A. Cater wrote:
> If you can get a Raspberry Pi 4 - it woill work as a small desktop,
> more or less silently. To fit extra disks you'll need an add on case
> - something like the Argon which will take NVME. There are
> bottlenecks. It's still ess
On Tue, Mar 21, 2023 at 11:17:50AM +0800, Paul Wise wrote:
> On Tue, 2023-03-21 at 00:34 +0100, Lionel Élie Mamane wrote:
>> Would an ARM-based machine be a good freedom-respecting computer to
>> run Debian on? I read the Raptor/Power guys saying modern ARM has
>> freedom
er, after that you
> search for applications and click on them to install.
>
> There is a Raspberry Pi 4 which is considerably better but relatively
> rare due to the infamous chip shortage. I have other ARM machines too
> but the Pi 3B is super reliable and straight forward. Try a $1
Would an ARM-based machine be a good freedom-respecting computer to
run Debian on? I read the Raptor/Power guys saying modern ARM has
freedom problems in a, but I haven't seen them go into specifics. Is
it at least "not as bad" as amd64, with Intel's Management Engine and
AMD's equivalent? Or is so
12 matches
Mail list logo
