Expand the image with more pkgs (incl. koji-builder)

Signed-off-by: David Abdurachmanov <david.abdurachmanov@gmail.com>

fedora-riscv64-developer-rawhide.ks

@@ -19,7 +19,7 @@ bootloader --location=none --disabled
 
 zerombr
 clearpart --all --initlabel --disklabel=gpt
-part / --fstype="ext4" --size=3968
+part / --fstype="ext4" --size=6144
 
 # Halt the system once configuration has finished.
 poweroff
@@ -56,6 +56,19 @@ fedpkg
 mailx
 mutt
 patchutils
+ninja-build
+cmake
+cmake-fedora
+extra-cmake-modules
+elfutils
+gdisk
+util-linux
+gparted
+parted
+fpaste
+vim-common
+hexedit
+koji-builder
 %end
 
 %post
@@ -93,8 +106,12 @@ If DNS isn’t working, try editing ‘/etc/yum.repos.d/fedora-riscv.repo’.
 For updates and latest information read:
 https://fedorapeople.org/groups/risc-v/disk-images/readme.txt
 
-Fedora/RISC-V Koji: http://fedora-riscv.tranquillity.se/koji/
-Fedora/RISC-V SCM: http://fedora-riscv.tranquillity.se:3000/
+Fedora/RISC-V
+-------------
+Koji:               http://fedora-riscv.tranquillity.se/koji/
+SCM:                http://fedora-riscv.tranquillity.se:3000/
+Distribution rep.:  http://fedora-riscv.tranquillity.se/repos-dist/
+Koji internal rep.: http://fedora-riscv.tranquillity.se/repos/
 EOF
 %end