| Etienne Carriere | bba5972 | 2020-05-16 13:42:36 +0200 | [diff] [blame] | 1 | image sdcard.img { |
| 2 | hdimage { |
| 3 | gpt = "true" |
| 4 | } |
| 5 | |
| 6 | partition fsbl1 { |
| 7 | image = "tf-a-stm32mp157c-dk2.stm32" |
| 8 | size = 256K |
| 9 | } |
| 10 | |
| 11 | partition fsbl2 { |
| 12 | image = "tf-a-stm32mp157c-dk2.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 = 512K |
| 29 | } |
| 30 | |
| 31 | partition teex { |
| 32 | image = "tee-pager_v2.stm32" |
| 33 | size = 128K |
| 34 | } |
| 35 | |
| 36 | partition bootfs { |
| 37 | image = "bootfs.ext2" |
| Etienne Carriere | d200e84 | 2020-09-22 13:00:18 +0200 | [diff] [blame^] | 38 | partition-type-uuid = L |
| Etienne Carriere | bba5972 | 2020-05-16 13:42:36 +0200 | [diff] [blame] | 39 | size = 32M |
| 40 | bootable = "yes" |
| 41 | } |
| 42 | |
| 43 | partition rootfs { |
| 44 | image = "rootfs.ext2" |
| Etienne Carriere | d200e84 | 2020-09-22 13:00:18 +0200 | [diff] [blame^] | 45 | partition-type-uuid = L |
| Etienne Carriere | bba5972 | 2020-05-16 13:42:36 +0200 | [diff] [blame] | 46 | size = 128M |
| 47 | } |
| 48 | } |