Tiny Core Base > TCB Q&A Forum
Is there any way to run Tiny Core on Luckfox Pico Mini (RV1103)
turingturtle:
I want to use tiny core linux on Luckfox Pico Mini, can anyone please help me or guide me with some idea on how to do that.
CNK:
Since it's ARM Cortex-A7 based, you'll need to build a custom Linux kernel and boot configuration for that, although you should be able to use the 32-bit PiCore extensions (the first Raspberry Pi 2 was ARM Cortex-A7). Or run TC in an x86 emulator and suffer the performance loss.
You might also need to strip things out of the regular core.gz filesystem if it won't boot in 64MB of RAM, but that should be possible (and you'd need to rebuild core.gz for the different Linux kernel anyway)
turingturtle:
--- Quote from: CNK on March 11, 2025, 08:25:40 PM ---Since it's ARM Cortex-A7 based, you'll need to build a custom Linux kernel and boot configuration for that, although you should be able to use the 32-bit PiCore extensions (the first Raspberry Pi 2 was ARM Cortex-A7). Or run TC in an x86 emulator and suffer the performance loss.
You might also need to strip things out of the regular core.gz filesystem if it won't boot in 64MB of RAM, but that should be possible (and you'd need to rebuild core.gz for the different Linux kernel anyway)
--- End quote ---
I am a complete beginner in all these, can you explain in more easy terms, or point me in a direction where I can self explore learn and do this , few steps might be relly good
CNK:
The first thing is to find an existing Linux distro built for the Luckfox Pico Mini, so you can see what drivers need to be enabled or patched in, and how the boot configuration works. Then compare that distro's Linux kernel configuration with the PiCore config, to build a kernel that should support booting PiCore. See Custom Kernel on the TC Wiki, but using armhf instead of x86. Also see Remastering for rebuilding the initrd with drivers for your kernel build instead of for PiCore.
Setting up the boot configuration will depend of how the Luckfox Pico Mini's firmware works, so you'll have to find specific docs for that hardware or try and blindly copy an existing Linux distro that boots on it.
turingturtle:
--- Quote from: CNK ---
--- End quote ---
Thanks for the reply, can you also tell me about some resources from where I can learn this kind of development, I mean what domain exactly I am dealing with and how to know the fundamentals and basics of these
Navigation
[0] Message Index
[#] Next page
Go to full version