JingOS Arm64 port - running on Xiaomi Redmi Note 4x (Xiaomi Mido)

My another JingOS Arm64 port running on Xiaomi Redmi Note 4x
(Xiaomi Mido)

  • Use postmarketOS boot image with Linux kernel 5.15
  • Rootfs based on Ubuntu 20.04

Boot up process video on youtube Link :
JingOS Arm64 - Boot up Process


Thanks for your effort!

Great work!

Great work @netson99

I want to compile it for x86 can you advice which pkgs did you compile yourself from jingos git?

So I can follow the same.

The github sources v 1.1.0 are optimized for Jingpad arm64 so there are a lot off dependencies that is related with the jingpad A1 (ie arm64 device). I have tried to compile for x86 device but no success.
About the modules, I compile most of the sources on github JingOS/framework and JingOS/systemui and also some of JingOS/apps.

1 Like

Great @netson99 !
How is your experience so far wrt

  • wifi
  • bluetooth
  • 4G/phone calls
  • battery

I own a mipad 4 and I thrill to death to run Linux OS on it…
Btw can you make a short list with the drivers needed beforehand to flash it?

1 Like

With the linux kernel 5.15-rc6 Wifi and bluetooth is working Ok.
I did not test the 4G/phone calls. About the battery, I think no driver available on this linux version, and my phone battery is not in good condition (ie need to be replaced).

And for running on Linux OS on your tablet, first you need linux kernel that is available for your tablet and It can be installed with custom linux kernel (ie bootloader is unlocked).

Hi @netson99 ,
thanks for the upgrade!

I try to make the JingOS port as close as possible to Jingpad A1, so I can update the JingOS to the latest version (ie version 1.2) , and here are some pictures …

Konsole with on screen keyboard

Firefox browse to youtube

Install app from the store…

And here is the console mode …

Great work @netson99
You deserve it.
Maybe you can do the same ports for a compatible tablet too?


Great work !

I would like too, but I don’t have any tablet right now.
And It’s not the right time for me to invest another ones.

If you agree and can share your work (like a github repository) may be someone could take your efforts and do more on another hardware…

Anyway, thanks for already shared experiences !

The Step that I used to port is :

  1. Build linux kernel for my devices, I used postmarketOS as reference to build the boot image.
  2. Build minimal ubuntu 20.04 rootfs
  3. Add JingOS repository
  4. Add kde neon unstable repository
  5. Add repository priority preference and make JingOS repository the highest priority
  6. Install plasma-desktop and all dependencies
  7. Some of the packages need to be build from sources due to the package has been modified for Jingpad A1.
1 Like

what about building dependences

For this port, I used the binary package from JingOS repository. So I just install the packages.
Due to the latest JingOS github sources is not build able due to missing a lot of dependencies.

OK,thank you very much.

how to add jingos repository to sources.list

You need to know how to add repos in ubuntu.
And add jingos repository : http://archive-mirrors.jingos.com

I have solved the problem. Thanks