Gábor Stefanik 8341c4e089 Use devtmpfs, and improve finalize_fhs.sh ... With this, finalize_fhs.sh can be rerun as needed, e.g. when rebooting. Also, the preferred nameserver will persist after DHCP. Thanks to devtmpfs, we no longer need to manage /dev once Linux is up.		2024-01-02 00:15:32 +01:00
..
clean_sources.sh	Avoid deleting sources that will be needed in future builds	2023-12-27 12:36:46 +01:00
finalize_fhs.sh	Use devtmpfs, and improve finalize_fhs.sh	2024-01-02 00:15:32 +01:00
get_network.sh	Linters & CI updates	2023-12-15 21:44:43 +11:00
musl_libdir.sh	Linters & CI updates	2023-12-15 21:44:43 +11:00
null_time.sh	Linters & CI updates	2023-12-15 21:44:43 +11:00
populate_device_nodes.sh	Do not try to create /dev nodes under chroot/bwrap	2023-12-26 13:01:24 +11:00
setup_repo.sh	Linters & CI updates	2023-12-15 21:44:43 +11:00
update_checksums.sh	Do update checksums when building with --update-checksums	2023-12-27 12:36:46 +01:00
update_env.sh	Fix non-reproducible Linux kernel build due to timestamps	2023-12-25 10:16:17 +01:00