Welcome to the Tiny Core Linux Wiki at tinycorelinux.net!

It seems installation should be a no brainer for those with a raspberry pi simply write the image to an SD card

Picore seems to be compiled for armv6 therefore the filesystem image should run on almost any of the modern ARM based SBC systems. Obviously getting the bootloader and kernel sorted for non rpi systems is another matter…

Seems the boot partition is FAT with a number of different kernels and config files stored there.

config.txt


# For more options and information see 
# http://www.raspberrypi.org/documentation/configuration/config-txt.md
# Some settings may impact device functionality. See link above for details
 
[PI0]
initramfs 11.0alpha1a.gz followkernel
kernel kernel41981.img
cmdline cmdline.txt
 
[PI1]
initramfs 11.0alpha1a.gz followkernel
kernel kernel41981.img
cmdline cmdline.txt
 
[PI2]
initramfs 11.0alpha1av7.gz followkernel
kernel kernel41981v7.img
cmdline cmdline.txt
 
[PI3]
initramfs 11.0alpha1av7.gz followkernel
kernel kernel41981v7.img
cmdline cmdline3.txt
 
[PI4]
initramfs 11.0alpha1av7l.gz followkernel
kernel kernel41981v7l.img
cmdline cmdline3.txt
 
[ALL]
 
# uncomment if you get no picture on HDMI for a default "safe" mode
#hdmi_safe=1
 
# uncomment this if your display has a black border of unused pixels visible
# and your display can output without overscan
#disable_overscan=1
 
# uncomment the following to adjust overscan. Use positive numbers if console
# goes off screen, and negative if there is too much border
#overscan_left=16
#overscan_right=16
#overscan_top=16
#overscan_bottom=16
 
# uncomment to force a console size. By default it will be display's size minus
# overscan.
#framebuffer_width=1280
#framebuffer_height=720
 
# uncomment if hdmi display is not detected and composite is being output
#hdmi_force_hotplug=1
 
# uncomment to force a specific HDMI mode (this will force VGA)
#hdmi_group=1
#hdmi_mode=1
 
# uncomment to force a HDMI mode rather than DVI. This can make audio work in
# DMT (computer monitor) modes
#hdmi_drive=2
 
# uncomment to increase signal to HDMI, if you have interference, blanking, or
# no display
#config_hdmi_boost=4
 
# uncomment for composite PAL
#sdtv_mode=2
 
#uncomment to overclock the arm. 700 MHz is the default.
#arm_freq=800
 
#----------------------------------------------------
# Enable peripheral buses
 
dtparam=i2c=on,spi=on,i2s=on
 
# Enable onboard audio
 
dtparam=audio=on
 
# Enable serial console
 
enable_uart=1
 
[PI3]
dtoverlay=pi3-disable-bt
 
[ALL]

other files on FAT:?


kernel41981.img <------ kernel image
11.0alpha1a.gz <--------initrd filesystem image
bcm2710-rpi-2-b.dtb <------ devicetree definitions
cmdline.txt <---------- kernel commandline opts?

Once the kernel is loaded: ???

We do not know how the components are compiled there is not any list of gcc flags and options used.

We do not know the layout of the boot process (bootloader/initrd/filesystem mount config/etc..)

Print/export