| Etienne Carriere | 4dc6908 | 2021-04-08 12:41:11 +0200 | [diff] [blame] | 1 | image sdcard.img { |
| 2 | hdimage { | ||||
| 3 | gpt = "true" | ||||
| 4 | } | ||||
| 5 | |||||
| 6 | partition fsbl1 { | ||||
| 7 | image = "tf-a-stm32mp157c-ed1.stm32" | ||||
| 8 | size = 256K | ||||
| 9 | } | ||||
| 10 | |||||
| 11 | partition fsbl2 { | ||||
| 12 | image = "tf-a-stm32mp157c-ed1.stm32" | ||||
| 13 | size = 256K | ||||
| 14 | } | ||||
| 15 | |||||
| 16 | partition ssbl { | ||||
| 17 | image = "u-boot.stm32" | ||||
| 18 | size = 2M | ||||
| 19 | } | ||||
| 20 | |||||
| 21 | partition teeh { | ||||
| 22 | image = "tee-header_v2.stm32" | ||||
| 23 | size = 32K | ||||
| 24 | } | ||||
| 25 | |||||
| 26 | partition teed { | ||||
| 27 | image = "tee-pageable_v2.stm32" | ||||
| 28 | size = 2M | ||||
| 29 | } | ||||
| 30 | |||||
| 31 | partition teex { | ||||
| 32 | image = "tee-pager_v2.stm32" | ||||
| 33 | size = 2M | ||||
| 34 | } | ||||
| 35 | |||||
| 36 | partition bootfs { | ||||
| 37 | image = "bootfs.ext2" | ||||
| 38 | partition-type-uuid = L | ||||
| 39 | size = 32M | ||||
| 40 | bootable = "yes" | ||||
| 41 | } | ||||
| 42 | |||||
| 43 | partition rootfs { | ||||
| 44 | image = "rootfs.ext2" | ||||
| 45 | partition-type-uuid = L | ||||
| 46 | size = 100M | ||||
| 47 | } | ||||
| 48 | } | ||||