diff --git a/fedora-riscv64-developer-rawhide.ks b/fedora-riscv64-developer-rawhide.ks index fb64284..821dcfc 100644 --- a/fedora-riscv64-developer-rawhide.ks +++ b/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