Stuck on Porting with HADK (simple question)

Hello sailors,

I want to port Sailfish OS to my LG Optimus HD 4x with the official HADK, but got stuck on chapter 14.3.2: Configure mountpoint information.

I don't know how to check (neither with cyanogenmod nor with TWRP) if initrd mounts the correct /boot and /data partitions.
On CM, I've checked with the CM file manager the directory /dev/block (there is no /dev/mmc on my device), but I don't know where I can find the information I need.


Below the list what i can see in /dev/block:

directory platform
directory vold
loop0
loop1 (and more file-iterations until loop7)
mmcblk0
mmcblk0boot0
mmcblk0boot1
mmcblk0p1
mmcblk0p2 (and more file-iterations until mmcblk0p13)
mmcblk1
mmcblk1p1



in the platform directory, there is:
directory sdhci-tegra.2
directory sdhci-tegra.3

and in these directories are a few more files.


Can anyone give me a hint? I'm a newbie on porting, although I have some experience on Linux and Android. So I think it is be a simple question, just a few examples on how to solve this issue would help me a lot.


Link to HADK:
see sailfishos.org