Raspberry Pi: hard realtime Linux/Xenomai

[Olej]

Запись:

Ремоунт: umount-вынул-вставил в USB адаптер...

Код: Выделить всё

olej@R420:~/2022/Rapsberry.Pi/Xenomai$ mount | grep /dev/sdd
/dev/sdd2 on /media/olej/rootfs type ext4 (rw,nosuid,nodev,relatime,uhelper=udisks2)
/dev/sdd1 on /media/olej/boot type vfat (rw,nosuid,nodev,relatime,uid=1000,gid=1000,fmask=0022,dmask=0022,codepage=437,iocharset=iso8859-1,shortname=mixed,showexec,utf8,flush,errors=remount-ro,uhelper=udisks2)

Код: Выделить всё

olej@R420:~/2022/Rapsberry.Pi/Xenomai$ ls -l /media/olej/rootfs
итого 88
drwxr-xr-x  2 root root  4096 апр  8  2019 bin
drwxr-xr-x  2 root root  4096 апр  8  2019 boot
drwxr-xr-x  4 root root  4096 мая  9  2019 dev
drwxr-xr-x 88 root root  4096 июн 12  2019 etc
drwxr-xr-x  3 root root  4096 апр  8  2019 home
drwxr-xr-x 16 root root  4096 апр  8  2019 lib
drwx------  2 root root 16384 апр  8  2019 lost+found
drwxr-xr-x  2 root root  4096 апр  8  2019 media
drwxr-xr-x  2 root root  4096 апр  8  2019 mnt
drwxr-xr-x  3 root root  4096 апр  8  2019 opt
drwxr-xr-x  2 root root  4096 фев 17  2019 proc
drwx------  2 root root  4096 июн 12  2019 root
drwxr-xr-x  5 root root  4096 апр  8  2019 run
drwxr-xr-x  2 root root  4096 апр  8  2019 sbin
drwxr-xr-x  2 root root  4096 апр  8  2019 srv
drwxr-xr-x  2 root root  4096 фев 17  2019 sys
drwxrwxrwt  7 root root  4096 июн 12  2019 tmp
drwxr-xr-x 11 root root  4096 июн 12  2019 usr
drwxr-xr-x 11 root root  4096 апр  8  2019 var

Код: Выделить всё

olej@R420:~/2022/Rapsberry.Pi/Xenomai$ ls -l /media/olej/boot
итого 21518
-rw-r--r-- 1 olej olej   15983 июн  4  2019 bcm2708-rpi-0-w.dtb
-rw-r--r-- 1 olej olej   15520 июн  4  2019 bcm2708-rpi-b.dtb
-rw-r--r-- 1 olej olej   15779 июн  4  2019 bcm2708-rpi-b-plus.dtb
-rw-r--r-- 1 olej olej   15239 июн  4  2019 bcm2708-rpi-cm.dtb
-rw-r--r-- 1 olej olej   16758 июн  4  2019 bcm2709-rpi-2-b.dtb
-rw-r--r-- 1 olej olej   17859 июн  4  2019 bcm2710-rpi-3-b.dtb
-rw-r--r-- 1 olej olej   17980 июн  4  2019 bcm2710-rpi-3-b-plus.dtb
-rw-r--r-- 1 olej olej   16615 июн  4  2019 bcm2710-rpi-cm3.dtb
-rw-r--r-- 1 olej olej   52296 фев 18  2019 bootcode.bin
-rw-r--r-- 1 olej olej     142 янв  1  1980 cmdline.txt
-rw-r--r-- 1 olej olej    1731 июн 11  2019 config.txt
-rw-r--r-- 1 olej olej   18693 мар  9  2018 COPYING.linux
-rw-r--r-- 1 olej olej    2622 апр  1  2019 fixup_cd.dat
-rw-r--r-- 1 olej olej    6701 апр  1  2019 fixup.dat
-rw-r--r-- 1 olej olej    9750 апр  1  2019 fixup_db.dat
-rw-r--r-- 1 olej olej    9752 апр  1  2019 fixup_x.dat
-rw-r--r-- 1 olej olej     145 апр  8  2019 issue.txt
-rw-r--r-- 1 olej olej 4639816 июн  4  2019 kernel7.img
-rw-r--r-- 1 olej olej 4944992 июн  5  2019 kernel7original.img
-rw-r--r-- 1 olej olej    1494 мар  9  2018 LICENCE.broadcom
-rw-r--r-- 1 olej olej   18974 апр  8  2019 LICENSE.oracle
drwxr-xr-x 2 olej olej     512 мая  9  2019 orig_kernels
drwxr-xr-x 2 olej olej   13312 апр  8  2019 orig_overlays
drwxr-xr-x 2 olej olej   10752 июн  4  2019 overlays
-rw-r--r-- 1 olej olej  683460 апр  1  2019 start_cd.elf
-rw-r--r-- 1 olej olej 4830756 апр  1  2019 start_db.elf
-rw-r--r-- 1 olej olej 2873444 апр  1  2019 start.elf
-rw-r--r-- 1 olej olej 3774980 апр  1  2019 start_x.elf

Пробуем загрузить в Paspberry Pi 2 ...

[Olej]

Пробуем загрузить в Paspberry Pi 2 ...

Первое включение...

you can log in with the following credentials:
user: pi
passwd: raspberry

user: root
passwd: pi

Код: Выделить всё

olej@R420:~$ ssh root@192.168.1.142
The authenticity of host '192.168.1.142 (192.168.1.142)' can't be established.
ECDSA key fingerprint is SHA256:2GAfcA8imJ9sOOJsJN6T736IVWmRjxCr6Ar7r3QTOrs.
Are you sure you want to continue connecting (yes/no/[fingerprint])? yes
Warning: Permanently added '192.168.1.142' (ECDSA) to the list of known hosts.
root@192.168.1.142's password:
Linux raspberrypi 4.9.80-v7+ #3 SMP Tue Jun 4 10:44:43 CEST 2019 armv7l

The programs included with the Debian GNU/Linux system are free software;
the exact distribution terms for each program are described in the
individual files in /usr/share/doc/*/copyright.

Debian GNU/Linux comes with ABSOLUTELY NO WARRANTY, to the extent
permitted by applicable law.
Last login: Sun Mar 27 11:59:25 2022

model: Raspberry Pi 2 Model B Rev 1.1
compatible: brcm,bcm2836
My IP address is 192.168.1.142

Xenomai/cobalt v3.0.8
root@raspberrypi:~#

Код: Выделить всё

root@raspberrypi:~# uname -a
Linux raspberrypi 4.9.80-v7+ #3 SMP Tue Jun 4 10:44:43 CEST 2019 armv7l GNU/Linux

Код: Выделить всё

root@raspberrypi:~# lsb_release -a
No LSB modules are available.
Distributor ID: Raspbian
Description:    Raspbian GNU/Linux 9.8 (stretch)
Release:        9.8
Codename:       stretch

[Olej]

Первое включение...

Код: Выделить всё

root@raspberrypi:~# df
Filesystem     1K-blocks    Used Available Use% Mounted on
/dev/root        1524304 1387624     54484  97% /
devtmpfs          474224       0    474224   0% /dev
tmpfs             474736       0    474736   0% /dev/shm
tmpfs             474736   18364    456372   4% /run
tmpfs               5120       4      5116   1% /run/lock
tmpfs             474736       0    474736   0% /sys/fs/cgroup
/dev/mmcblk0p1     43234   31582     11652  74% /boot
tmpfs              94944       0     94944   0% /run/user/0

Код: Выделить всё

root@raspberrypi:~# mount | grep /dev/mmc
/dev/mmcblk0p2 on / type ext4 (rw,noatime,data=ordered)
/dev/mmcblk0p1 on /boot type vfat (rw,relatime,fmask=0022,dmask=0022,codepage=437,iocharset=ascii,shortname=mixed,errors=remount-ro)

Код: Выделить всё

root@raspberrypi:~# fdisk -l /dev/mmcblk0
Disk /dev/mmcblk0: 1.9 GiB, 1977614336 bytes, 3862528 sectors
Units: sectors of 1 * 512 = 512 bytes
Sector size (logical/physical): 512 bytes / 512 bytes
I/O size (minimum/optimal): 512 bytes / 512 bytes
Disklabel type: dos
Disk identifier: 0xb93bee23

Device         Boot Start     End Sectors  Size Id Type
/dev/mmcblk0p1       8192   96042   87851 42.9M  c W95 FAT32 (LBA)
/dev/mmcblk0p2      98304 3262463 3164160  1.5G 83 Linux

SD карта 2Gb ...
Всё вполне работоспособно ... Но её недостаточно для более-менее деятельной работы.

[Olej]

Но её недостаточно для более-менее деятельной работы.

Код: Выделить всё

root@raspberrypi:~# apt update
Get:1 http://raspbian.raspberrypi.org/raspbian stretch InRelease [15.0 kB]
Get:2 http://archive.raspberrypi.org/debian stretch InRelease [25.3 kB]
Get:3 http://raspbian.raspberrypi.org/raspbian stretch/main armhf Packages [11.7 MB]
Get:4 http://archive.raspberrypi.org/debian stretch/main armhf Packages [192 kB]
Get:5 http://archive.raspberrypi.org/debian stretch/ui armhf Packages [44.6 kB]  
Get:6 http://raspbian.raspberrypi.org/raspbian stretch/contrib armhf Packages [56.9 kB]                                                                 
Get:7 http://raspbian.raspberrypi.org/raspbian stretch/non-free armhf Packages [98.9 kB]                                                                
Ign:3 http://raspbian.raspberrypi.org/raspbian stretch/main armhf Packages                                                                              
Get:3 http://raspbian.raspberrypi.org/raspbian stretch/main armhf Packages [16.4 MB]
Ign:3 http://raspbian.raspberrypi.org/raspbian stretch/main armhf Packages                                                                              
Get:3 http://raspbian.raspberrypi.org/raspbian stretch/main armhf Packages [61.6 MB]                                                                    
Err:3 http://raspbian.raspberrypi.org/raspbian stretch/main armhf Packages                                                                              
  Error writing to output file - write (28: No space left on device) Error writing to file - write (28: No space left on device) [IP: 93.93.128.193 80]
Fetched 12.1 MB in 11min 9s (18.1 kB/s)                                                                                                                 
Reading package lists... Done
E: Failed to fetch http://raspbian.raspberrypi.org/raspbian/dists/stretch/main/binary-armhf/Packages  Error writing to output file - write (28: No space left on device) Error writing to file - write (28: No space left on device) [IP: 93.93.128.193 80]
E: Some index files failed to download. They have been ignored, or old ones used instead.

Даже на обновления хоть некоторых пакетов места не хватит:

Код: Выделить всё

root@raspberrypi:~# df
Filesystem     1K-blocks    Used Available Use% Mounted on
/dev/root        1524304 1440148      1960 100% /
devtmpfs          474224       0    474224   0% /dev
tmpfs             474736       0    474736   0% /dev/shm
tmpfs             474736   18364    456372   4% /run
tmpfs               5120       4      5116   1% /run/lock
tmpfs             474736       0    474736   0% /sys/fs/cgroup
/dev/mmcblk0p1     43234   31582     11652  74% /boot
tmpfs              94944       0     94944   0% /run/user/0

[Olej]

Даже на обновления хоть некоторых пакетов места не хватит:

Нахожу SD карту ... 1 из 3-х проверенных - убил на это говно целый день!
образы и карточки
Копирую туда имидж:

Код: Выделить всё

olej@R420:~/Загрузки/ISO/RapsberriPi/Xenomai_3.0.8$ time sudo dd if=raspbian_stretch9_xenomai3.0.8.img of=/dev/sdd bs=1M conv=fsync status=progress
[sudo] пароль для olej:       
1626341376 байт (1,6 GB, 1,5 GiB) скопирован, 25 s, 65,0 MB/s 
1593+0 записей получено
1593+0 записей отправлено
1670381568 байт (1,7 GB, 1,6 GiB) скопирован, 660,684 s, 2,5 MB/s

real	11m7,543s
user	0m0,014s
sys	0m3,877s

[Olej]

Копирую туда имидж:

Передёрнул в USB разъёме:

Код: Выделить всё

olej@R420:~/2022/Rapsberry.Pi/Xenomai$ mount | grep sdd
/dev/sdd2 on /media/olej/rootfs type ext4 (rw,nosuid,nodev,relatime,uhelper=udisks2)
/dev/sdd1 on /media/olej/boot type vfat (rw,nosuid,nodev,relatime,uid=1000,gid=1000,fmask=0022,dmask=0022,codepage=437,iocharset=iso8859-1,shortname=mixed,showexec,utf8,flush,errors=remount-ro,uhelper=udisks2)

Код: Выделить всё

olej@R420:~/2022/Rapsberry.Pi/Xenomai$ ls -l /media/olej/rootfs
итого 88
drwxr-xr-x  2 root root  4096 апр  8  2019 bin
drwxr-xr-x  2 root root  4096 апр  8  2019 boot
drwxr-xr-x  4 root root  4096 мая  9  2019 dev
drwxr-xr-x 88 root root  4096 июн 12  2019 etc
drwxr-xr-x  3 root root  4096 апр  8  2019 home
drwxr-xr-x 16 root root  4096 апр  8  2019 lib
drwx------  2 root root 16384 апр  8  2019 lost+found
drwxr-xr-x  2 root root  4096 апр  8  2019 media
drwxr-xr-x  2 root root  4096 апр  8  2019 mnt
drwxr-xr-x  3 root root  4096 апр  8  2019 opt
drwxr-xr-x  2 root root  4096 фев 17  2019 proc
drwx------  2 root root  4096 июн 12  2019 root
drwxr-xr-x  5 root root  4096 апр  8  2019 run
drwxr-xr-x  2 root root  4096 апр  8  2019 sbin
drwxr-xr-x  2 root root  4096 апр  8  2019 srv
drwxr-xr-x  2 root root  4096 фев 17  2019 sys
drwxrwxrwt  7 root root  4096 июн 12  2019 tmp
drwxr-xr-x 11 root root  4096 июн 12  2019 usr
drwxr-xr-x 11 root root  4096 апр  8  2019 var

Код: Выделить всё

olej@R420:~/2022/Rapsberry.Pi/Xenomai$ ls -l /media/olej/boot
итого 21518
-rw-r--r-- 1 olej olej   15983 июн  4  2019 bcm2708-rpi-0-w.dtb
-rw-r--r-- 1 olej olej   15520 июн  4  2019 bcm2708-rpi-b.dtb
-rw-r--r-- 1 olej olej   15779 июн  4  2019 bcm2708-rpi-b-plus.dtb
-rw-r--r-- 1 olej olej   15239 июн  4  2019 bcm2708-rpi-cm.dtb
-rw-r--r-- 1 olej olej   16758 июн  4  2019 bcm2709-rpi-2-b.dtb
-rw-r--r-- 1 olej olej   17859 июн  4  2019 bcm2710-rpi-3-b.dtb
-rw-r--r-- 1 olej olej   17980 июн  4  2019 bcm2710-rpi-3-b-plus.dtb
-rw-r--r-- 1 olej olej   16615 июн  4  2019 bcm2710-rpi-cm3.dtb
-rw-r--r-- 1 olej olej   52296 фев 18  2019 bootcode.bin
-rw-r--r-- 1 olej olej     142 янв  1  1980 cmdline.txt
-rw-r--r-- 1 olej olej    1731 июн 11  2019 config.txt
-rw-r--r-- 1 olej olej   18693 мар  9  2018 COPYING.linux
-rw-r--r-- 1 olej olej    2622 апр  1  2019 fixup_cd.dat
-rw-r--r-- 1 olej olej    6701 апр  1  2019 fixup.dat
-rw-r--r-- 1 olej olej    9750 апр  1  2019 fixup_db.dat
-rw-r--r-- 1 olej olej    9752 апр  1  2019 fixup_x.dat
-rw-r--r-- 1 olej olej     145 апр  8  2019 issue.txt
-rw-r--r-- 1 olej olej 4639816 июн  4  2019 kernel7.img
-rw-r--r-- 1 olej olej 4944992 июн  5  2019 kernel7original.img
-rw-r--r-- 1 olej olej    1494 мар  9  2018 LICENCE.broadcom
-rw-r--r-- 1 olej olej   18974 апр  8  2019 LICENSE.oracle
drwxr-xr-x 2 olej olej     512 мая  9  2019 orig_kernels
drwxr-xr-x 2 olej olej   13312 апр  8  2019 orig_overlays
drwxr-xr-x 2 olej olej   10752 июн  4  2019 overlays
-rw-r--r-- 1 olej olej  683460 апр  1  2019 start_cd.elf
-rw-r--r-- 1 olej olej 4830756 апр  1  2019 start_db.elf
-rw-r--r-- 1 olej olej 2873444 апр  1  2019 start.elf
-rw-r--r-- 1 olej olej 3774980 апр  1  2019 start_x.elf

Можно нести в перезагрузку ...

[Olej]

Можно нести в перезагрузку ...

Загрузка ... подключение:

Код: Выделить всё

olej@R420:~$ ssh root@192.168.1.142
root@192.168.1.142's password: pi
Linux raspberrypi 4.9.80-v7+ #3 SMP Tue Jun 4 10:44:43 CEST 2019 armv7l

The programs included with the Debian GNU/Linux system are free software;
the exact distribution terms for each program are described in the
individual files in /usr/share/doc/*/copyright.

Debian GNU/Linux comes with ABSOLUTELY NO WARRANTY, to the extent
permitted by applicable law.
Last login: Wed Jun 12 17:39:48 2019

model: Raspberry Pi 2 Model B Rev 1.1
compatible: brcm,bcm2836
My IP address is 192.168.1.142

Xenomai/cobalt v3.0.8
root@raspberrypi:~#

[Olej]

подключение:

Код: Выделить всё

root@raspberrypi:~# df
Filesystem     1K-blocks    Used Available Use% Mounted on
/dev/root        1524304 1373752     68356  96% /
devtmpfs          474224       0    474224   0% /dev
tmpfs             474736       0    474736   0% /dev/shm
tmpfs             474736   12420    462316   3% /run
tmpfs               5120       4      5116   1% /run/lock
tmpfs             474736       0    474736   0% /sys/fs/cgroup
/dev/mmcblk0p1     43234   31582     11652  74% /boot
tmpfs              94944       0     94944   0% /run/user/0

Имидж из которого писалась SD карта:

Код: Выделить всё

olej@R420:~/Загрузки/ISO/RapsberriPi/Xenomai_3.0.8$ ls -l raspbian_stretch9_xenomai3.0.8.img 
-rw-r--r-- 1 olej olej 1670381568 июн 12  2019 raspbian_stretch9_xenomai3.0.8.img

Код: Выделить всё

root@raspberrypi:~# fdisk -l /dev/mmcblk0
Disk /dev/mmcblk0: 3.7 GiB, 3997171712 bytes, 7806976 sectors
Units: sectors of 1 * 512 = 512 bytes
Sector size (logical/physical): 512 bytes / 512 bytes
I/O size (minimum/optimal): 512 bytes / 512 bytes
Disklabel type: dos
Disk identifier: 0xb93bee23

Device         Boot Start     End Sectors  Size Id Type
/dev/mmcblk0p1       8192   96042   87851 42.9M  c W95 FAT32 (LBA)
/dev/mmcblk0p2      98304 3262463 3164160  1.5G 83 Linux

О-ба-на!!!
Т.е. записанный имидж 1.5Gb не расширяется на полный объём SD карты 4Gb ... т.е. 63% карты не использованы! Даже для 2 Gb SD карты это (расширение) могло быть проделано! Но проделать это нужно вручную.

[Olej]

Т.е. записанный имидж 1.5Gb не расширяется на полный объём SD карты 4Gb ... т.е. 63% карты не использованы! Даже для 2 Gb SD карты это (расширение) могло быть проделано! Но проделать это нужно вручную.

Пробую такую вот специфику:

Код: Выделить всё

root@raspberrypi:~# raspi-config --expand-rootfs

Welcome to fdisk (util-linux 2.29.2).
Changes will remain in memory only, until you decide to write them.
Be careful before using the write command.


Command (m for help): Disk /dev/mmcblk0: 3.7 GiB, 3997171712 bytes, 7806976 sectors
Units: sectors of 1 * 512 = 512 bytes
Sector size (logical/physical): 512 bytes / 512 bytes
I/O size (minimum/optimal): 512 bytes / 512 bytes
Disklabel type: dos
Disk identifier: 0xb93bee23

Device         Boot Start     End Sectors  Size Id Type
/dev/mmcblk0p1       8192   96042   87851 42.9M  c W95 FAT32 (LBA)
/dev/mmcblk0p2      98304 3262463 3164160  1.5G 83 Linux

Command (m for help): Partition number (1,2, default 2): 
Partition 2 has been deleted.

Command (m for help): Partition type
   p   primary (1 primary, 0 extended, 3 free)
   e   extended (container for logical partitions)
Select (default p): Partition number (2-4, default 2): First sector (2048-7806975, default 2048): Last sector, +sectors or +size{K,M,G,T,P} (98304-7806975, default 7806975): 
Created a new partition 2 of type 'Linux' and of size 3.7 GiB.
Partition #2 contains a ext4 signature.

Command (m for help): 
Disk /dev/mmcblk0: 3.7 GiB, 3997171712 bytes, 7806976 sectors
Units: sectors of 1 * 512 = 512 bytes
Sector size (logical/physical): 512 bytes / 512 bytes
I/O size (minimum/optimal): 512 bytes / 512 bytes
Disklabel type: dos
Disk identifier: 0xb93bee23

Device         Boot Start     End Sectors  Size Id Type
/dev/mmcblk0p1       8192   96042   87851 42.9M  c W95 FAT32 (LBA)
/dev/mmcblk0p2      98304 7806975 7708672  3.7G 83 Linux

Command (m for help): The partition table has been altered.
Calling ioctl() to re-read partition table.
Re-reading the partition table failed.: Device or resource busy

The kernel still uses the old table. The new table will be used at the next reboot or after you run partprobe(8) or kpartx(8).

perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
	LANGUAGE = (unset),
	LC_ALL = (unset),
	LC_TIME = "ru_UA.UTF-8",
	LC_MONETARY = "ru_UA.UTF-8",
	LC_ADDRESS = "ru_UA.UTF-8",
	LC_TELEPHONE = "ru_UA.UTF-8",
	LC_NAME = "ru_UA.UTF-8",
	LC_MEASUREMENT = "ru_UA.UTF-8",
	LC_IDENTIFICATION = "ru_UA.UTF-8",
	LC_NUMERIC = "ru_UA.UTF-8",
	LC_PAPER = "ru_UA.UTF-8",
	LANG = "en_GB.UTF-8"
    are supported and installed on your system.
perl: warning: Falling back to a fallback locale ("en_GB.UTF-8").
Please reboot

Пока ничего не поменялось...
Но оно и пишет: "The new table will be used at the next reboot or after you run partprobe(8) or kpartx(8)."

Говорит reboot:

Код: Выделить всё

root@raspberrypi:~# reboot
Connection to 192.168.1.142 closed by remote host.
Connection to 192.168.1.142 closed.
olej@R420:~$ 

[Olej]

Но оно и пишет: "The new table will be used at the next reboot or after you run partprobe(8) or kpartx(8)."

Ждём-с:

Код: Выделить всё

olej@R420:~$ ping -c5 192.168.1.142
PING 192.168.1.142 (192.168.1.142) 56(84) bytes of data.
64 bytes from 192.168.1.142: icmp_seq=1 ttl=64 time=5.24 ms
64 bytes from 192.168.1.142: icmp_seq=2 ttl=64 time=3.78 ms
64 bytes from 192.168.1.142: icmp_seq=3 ttl=64 time=3.83 ms
64 bytes from 192.168.1.142: icmp_seq=4 ttl=64 time=4.53 ms
64 bytes from 192.168.1.142: icmp_seq=5 ttl=64 time=3.96 ms

--- 192.168.1.142 ping statistics ---
5 packets transmitted, 5 received, 0% packet loss, time 4007ms
rtt min/avg/max/mdev = 3.781/4.265/5.235/0.553 ms

Код: Выделить всё

olej@R420:~$ ssh root@192.168.1.142
root@192.168.1.142's password: 
Linux raspberrypi 4.9.80-v7+ #3 SMP Tue Jun 4 10:44:43 CEST 2019 armv7l

The programs included with the Debian GNU/Linux system are free software;
the exact distribution terms for each program are described in the
individual files in /usr/share/doc/*/copyright.

Debian GNU/Linux comes with ABSOLUTELY NO WARRANTY, to the extent
permitted by applicable law.
Last login: Mon Mar 28 00:19:05 2022

model: Raspberry Pi 2 Model B Rev 1.1
compatible: brcm,bcm2836
My IP address is 192.168.1.142 

Xenomai/cobalt v3.0.8
root@raspberrypi:~#

Код: Выделить всё

root@raspberrypi:~# df
Filesystem     1K-blocks    Used Available Use% Mounted on
/dev/root        1524304 1372392     69716  96% /
devtmpfs          474224       0    474224   0% /dev
tmpfs             474736       0    474736   0% /dev/shm
tmpfs             474736   12424    462312   3% /run
tmpfs               5120       4      5116   1% /run/lock
tmpfs             474736       0    474736   0% /sys/fs/cgroup
/dev/mmcblk0p1     43234   31582     11652  74% /boot
tmpfs              94944       0     94944   0% /run/user/0

Что-то это ничему не помогает... И придётся это делать вручную.