Create partitions in /dev/root

[Mariano Lasala]

Hello,

At this moment we have this output when executing df -k

Filesystem 1K-blocks Used Available Use% Mounted on

/dev/root 237568 83840 153728 35% /

devtmpfs 30580 144 30436 0% /dev

none 30580 144 30436 0% /dev

/dev/mmcblk0p1 1928992 45184 1883808 2% /media/card

/dev/mtdblock6 8192 528 7664 6% /var/config

tmpfs 30580 1484 29096 5% /var/volatile

tmpfs 30580 0 30580 0% /dev/shm

tmpfs 30580 0 30580 0% /media/ram

We’d like to know if it’s possible to create a new partition that grab part of the free space in /dev/root and mount it in /dev/myapp or /dev/opt.

Thanks for advance.

Regards,

Mariano Lasala

[Jesse Gilles]

It is technically possible, but repartitioning the NAND flash requires changing the flash layout in the kernel, re-flashing the device with the new addresses, etc.

It would be much easier for you to do the same thing using the SD card. You can partition the SD card however you want and even use Linux filesystems (ext3) if you want. Then you can mount the partition(s) wherever on your unit or just use sub-directories in /media/card instead.

Is the reason for wanting a different partition so that you can prevent losing the information if the rootfs is flashed?

[Mariano Lasala]

Hello Jesse,

By one hand there is the cost problem for the SD, we are thinking in buying >50 units in the first approach.

By the other hand, the idea is that if our application by any reason crashes (full file system for example), the OS doesn’t get affected and we can connect to the device and fix the problem. The devices can be allocated all over Spain and we should offer support with lower possible cost.

Regards,

Mariano Lasala

[Author]

Posts