Vivaldi on Debian Bookworm on a Dell VenuePro 11 5130

Let the first post of this blog be about the Vivaldi browser. Well, partly at least. It’s also an adventurous tale of installing a 32 bit Linux distribution on an old Dell tablet and then getting it to run 64 bit applications.

So I have this old Dell VenuePro 11 tablet. It’s a device from 2014 and it came with 32 bit Windows 8.1 installed. This got upgraded to Windows 10 at some point, after which things became rather slow. Vivaldi ran on it, but sluggishly; things like pinch zoom in Google Maps worked, but too slow to be actually useful.


In my experience, Linux runs smoother on older hardware, so I decided to install Linux on the tablet. This webpage says it can be done and was a big help during the process. First I tried some of the latest versions of Ubuntu, Mint and Fedora, but the tablet didn’t seem to want to boot their installation USBs, even after disabling the Windows Boot Manager in BIOS. The aforementioned webpage says something about a 32 bit UEFI boot loader being required and I figured that maybe newer 64 bit distributions don’t include it anymore. So I tried a 32 bit distribution instead. Debian just released their Bookwork release and it seems to be one of the few distributions still supporting 32 bit, so I tried to boot their 32 bit USB installer and it worked without problems. Everything got detected and configured properly, except for the WIFI, for which I needed to copy the HW3.0 directory from here to /lib/firmware/ath6k/AR6004. This enabled wifi, though it tends to crash every few hours now, after which a reboot is needed. I haven´t managed to get Bluetooth working.


Then I needed a browser on my shiny new 32 bit Debian. Firefox ESR came preinstalled, which is a somewhat old version of a fine browser, but I prefer Vivaldi so I tried to download that. Unfortunately, there is no 32 bit version of Vivaldi anymore for Linux (there is for Windows, somehow). So I needed a way to run 64 bit programs on my 32 bit Debian. Magically, this turned out to be possible in some fashion using a Debian feature called multiarch. I installed the 64 bit kernel as described in chapter 5 of this article and it worked fine. So I then had a 64 bit kernel running 32 bit binaries and I managed to install the 64 bit Vivaldi .deb file without problems.

Vivaldi runs fine and using it with the touchscreen works well. Scrolling and pinch zoom work a lot faster than they did on Windows 10. The only issue is that the on-screen keyboard doesn’t pop up if I click a text field. This does work in Firefox if I set the environment variable MOZ_ENABLE_WAYLAND. Vivaldi has some Wayland related settings as well: Starting Vivaldi with –enable-features=UseOzonePlatform –ozone-platform=wayland seems to make scrolling smoother, but it doesn’t help for the on-screen keyboard. It’s not a serious problem though, because I can get the keyboard by dragging from the bottom of the screen.

Final thoughts

So there we have it: 64 bit Vivaldi on a mixed 32 bit/64 bit Debian Bookworm Linux. There are two things I’m wondering:

  • Why is Linux so much faster than Windows 10 on this particular device? Does it use the 2 Gb RAM more efficiently so that less swapping happens? Is it the lack of virus protection in Debian?
  • Now that I have a 64 bit kernel, is it worth the trouble switching all the 32 bit binaries to 64 bit? If I understand correctly, the 64 bit ones should run faster. But they’re also probably bigger and use more RAM, of which there isn’t a lot.

Join the Conversation

  1. I don’t think moving from 32 to 64 binaries will change a lot, if anything at all, in your daily use/perception of perfs. Maybe do it next time you need to update the computer or fix something. Otherwise, as long as it works…

    My laptop is a 2011 Thinkpad X220, running the latest Debian & Vivaldi, 64bit. Most of the web is as bloated on it as it is on any modern computer but, obviously, one can feel it a tad more on this old-ish CPU. Other than that, this machine (with its upgraded SSD) works great and feels really snappy, including Vivaldi.

    Moving away from, let’s say, more hyped distros that focus more on offering the latest of every app, to the more conservative Debian was also a game changer for me. At first boot under Debian, everything felt faster/snappier than on any of the otgher distros I had previously used. No idea why, but wow. And in the three plus years I’ve been running Debian since then, I have to see it crash on me. <3


Your email address will not be published. Required fields are marked *