rpi4_config.ark 2.2 KB

1234567891011121314151617181920212223242526272829303132333435363738394041424344454647484950515253545556575859606162636465666768697071727374757677787980
  1. #
  2. # Copyright 2026 Aarav Ravindra Kharade
  3. #
  4. # Licensed under the Apache License, Version 2.0 (the "License");
  5. # you may not use this file except in compliance with the License.
  6. # You may obtain a copy of the License at
  7. #
  8. # http://www.apache.org/licenses/LICENSE-2.0
  9. #
  10. # Unless required by applicable law or agreed to in writing, software
  11. # distributed under the License is distributed on an "AS IS" BASIS,
  12. # WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
  13. # See the License for the specific language governing permissions and
  14. # limitations under the License.
  15. #
  16. # ═══════════════════════════════════════════════════════════════
  17. # ArkOS Raspberry Pi 4 Model B Hardware Configuration
  18. # ═══════════════════════════════════════════════════════════════
  19. --- hardware ---
  20. device_name = Raspberry Pi 4 Model B
  21. soc = BCM2711
  22. cpu = Cortex-A72
  23. cpu_cores = 4
  24. cpu_arch = aarch64
  25. ram_mb = 2048
  26. gpu = VideoCore VI
  27. --- firmware ---
  28. gpu_bootloader = boot/rpi4/firmware/start4.elf
  29. gpu_fixup = boot/rpi4/firmware/fixup4.dat
  30. config_file = boot/rpi4/config.txt
  31. cmdline_file = boot/rpi4/cmdline.txt
  32. --- kernel ---
  33. kernel_image = kernel/prebuilts/arm64
  34. kernel_name = kernel8.img
  35. dtb_file = kernel/prebuilts/bcm2711-rpi-4-b.dtb
  36. dtbo_dir = kernel/prebuilts/rpi4_dtbofiles
  37. initramfs = boot/initramfs.img
  38. kernel_load_address = 0x80000
  39. --- compiler ---
  40. cc = clang
  41. target_triple = aarch64-linux-gnu
  42. swift_triple = aarch64-swift-linux-musl
  43. sysroot = system/sysrootaarch64
  44. modules_dir = system/sysrootaarch64
  45. --- display ---
  46. display_driver = vc4-drm
  47. framebuffer = /dev/fb0
  48. default_resolution = 1920x1080
  49. bits_per_pixel = 32
  50. boot_animation = atom_only
  51. expanding_dot = swift_splash
  52. --- partitions ---
  53. boot_partition_fs = fat32
  54. boot_partition_size_mb = 256
  55. system_partition_fs = ext4
  56. system_partition_size_mb = 2048
  57. vendor_partition_fs = ext4
  58. vendor_partition_size_mb = 100
  59. --- boot_sequence ---
  60. stage1 = gpu_firmware
  61. stage2 = kernel_direct
  62. stage3 = init
  63. stage4 = arkrt
  64. stage5 = ui_daemon
  65. bootloader_type = none