Bagaimana cara mem-boot raspberry pi dengan sangat cepat ke Linux?

Saya ingin pi nol saya untuk boot dengan cepat (di bawah 1 detik) menggunakan Linux. Dalam hal ini kita bisa berpura-pura itu tertanam controller dan bukan komputer full-blown standar (tapi lambat).

Apakah Anda punya (tambahan) kiat bagaimana mencapai tujuan ini?

Apa yang sudah saya coba:

• berbagai opsi (seperti parameter kernel, kernel khusus pada distribusi std. - lengkung, raspbian, menyetel item systemd, dll.) - semua lambat secara umum
• Saya telah menemukan beberapa sumber daya tentang mengubah rantai bootloader, tetapi saat ini saya tidak dapat mengubah pada tingkat ini
• hasil terbaik yang bisa saya raih disediakan oleh buildroot

Menggunakan aturan berikut, saya dapat melakukan booting dalam (kira-kira) 4 detik, tapi tetap saja lambat:

• jangan gunakan initrd
• jangan menggunakan modul (embed driver yang diperlukan ke dalam kernel)
• jangan gunakan banyak perangkat (lvm)
• jangan gunakan raid
• jangan gunakan debug
  • debugfs
  • kernel debug (di hack kernel)
• jangan gunakan PCI / PCMCIA
• jangan gunakan SATA / ATA
• jangan gunakan logo bootup
• jangan gunakan pustaka C yang penuh sesak seperti glibc
• jangan gunakan optimasi untuk ukuran
• konfigurasi
  • cmdline.txt
    • jangan gunakan konsol serial:
      • hapus console=xxx, di mana xxx adalah port serial
      • edit /etc/inittab(getty spawn)
    • jenis setup root fs: rootfstype=ext4
  • config.txt
    • jangan gunakan boot delay: boot_delay=0
    • jangan gunakan pelangi: disable_splash=1
    • tidak peduli tentang mode aman: avoid_safe_mode=1

Anda dapat membangun linux dari awal di pi ( http://www.intestinate.com/pilfs/guide.html ). Dengan kernel khusus, Anda dapat boot ke systemd dalam <1s.