HackENS/liminix-fork
5
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity
784 commits 2 branches 0 tags 1.2 MiB
Commit graph

784 commits

This branch
This branch
All branches
Author SHA1 Message Date
Daniel Barlow
ab0631c555 qemu mips expects different file size for u-boot 2023-12-19 18:48:28 +00:00
Daniel Barlow
32c13c46bb support aarch64 in tftpboot test 2023-12-19 12:12:12 +00:00
Daniel Barlow
e5db2691e5 add CI job to test tftpboot 2023-12-18 22:42:29 +00:00
Daniel Barlow
9ca9723c9d make rootfs work with tftpbootlz 2023-12-17 19:39:26 +00:00
Daniel Barlow
d1e2d525a4 tftpboot omnia using bootz not bootm 
because kernel size is now beyond the u-boot size
limit for bootm
 2023-12-16 23:40:55 +00:00
Daniel Barlow
f4f4387861 well, we're back to where we can boot again 
so that's good
 2023-12-16 23:40:55 +00:00
Daniel Barlow
55fa9992d4 WIP 2023-12-13 21:54:15 +00:00
Daniel Barlow
95d9e014fb omnia: fix paths 2023-12-13 21:52:28 +00:00
Daniel Barlow
80528376a2 move o.systemConfiguration to initramfs module 
as far as I can tell, we define it identically in every module
that uses initramfs
 2023-12-11 21:47:15 +00:00
Daniel Barlow
d707345891 rename rootfsFiles to rootdir, add bootablerootdir 2023-12-11 21:21:12 +00:00
Daniel Barlow
133b64613d link to NEWS file 2023-12-11 20:18:28 +00:00
Daniel Barlow
c6c41e331e let's have a place to document breaking changes 2023-12-11 19:09:56 +00:00
Daniel Barlow
b878d6481a the first rule of thought club 2023-12-11 19:09:19 +00:00
Daniel Barlow
601bb289ee rename diskimage to mbrimage 2023-12-11 19:09:19 +00:00
Daniel Barlow
876bd7d8ce rename flashimage to mtdimage 2023-12-11 19:09:18 +00:00
Daniel Barlow
39c338d710 rm vanilla-configuration-hw.nix, no longer needed 2023-12-11 19:09:18 +00:00
Daniel Barlow
6c8b2bbb83 add retries to wlan test 2023-12-10 18:35:14 +00:00
Daniel Barlow
4ddce6e926 fix the tests we broke 2023-12-10 17:12:57 +00:00
Daniel Barlow
5eeb277564 move output module imports example -> device 
The outputs available are a characteristic of the device, not
the example.
 2023-12-10 16:38:53 +00:00
Daniel Barlow
c81e7c4d35 move all output modules to subdirectory, trash standard.nix 
standard.nix isn't, is the essence here. Not all devices
support flashimage as it is currently defined - some
have diskimage, some have neither
 2023-12-10 15:23:12 +00:00
Daniel Barlow
53fed8839a fix min-copy-closure for new run-liminix-vm syntax 2023-12-09 17:35:21 +00:00
Daniel Barlow
ebaa7b2bcb unbreak fennel test 2023-12-09 17:10:41 +00:00
Daniel Barlow
15d570f749 ignore devices/families when extracting docs 2023-12-09 17:10:41 +00:00
Raito Bezarius
aff312bbbe project: Python 2.7 had an upgrade… ! 2023-12-09 17:10:41 +00:00
Daniel Barlow
bb8e974c2b hard thinking or hardly thinking 2023-12-09 17:10:41 +00:00
Daniel Barlow
317457f582 extract common config for qemu devices into module 2023-12-09 17:10:41 +00:00
Daniel Barlow
07e66c462b use virtio-bk-pci instead of virtio-bk-device 
u-boot is happy with either but Linux can autodetect the PCI-based
hardware
 2023-12-09 15:53:40 +00:00
Daniel Barlow
4229b42d82 make config.hardware.dts.src nullable 
This is for QEMU where we won't have to provide a dtb because the
device tree is built by the platform according the (emulated) hardware
present.

Maybe in future there will be other hardware devices where we
don't need to provide a dtb.
 2023-12-09 15:51:30 +00:00
Daniel Barlow
03b17fa3ed add zImage output 2023-12-07 22:31:26 +00:00
Daniel Barlow
a8891461aa use devtmpfs in initramfs 
static device nodes don't work with virtio
 2023-12-07 20:03:03 +00:00
Daniel Barlow
5adfb0230f WIP generate bootable disk image with partition table 2023-12-05 23:54:09 +00:00
Daniel Barlow
b519bd15df pretty-print the qemu command line 
well, pretty-ish
 2023-12-05 17:32:18 +00:00
Daniel Barlow
f2daa0b669 exclude rootfs region from kernel-visible ram 2023-12-05 17:32:18 +00:00
Daniel Barlow
3f74fad966 don't double-json the command line 2023-12-05 17:32:18 +00:00
Daniel Barlow
ed925588f7 extract common code to make root filesystem hierarchy 
which is then used by the filesystem image creators (ubifs, ext4,
jffs2 etc)
 2023-12-05 17:32:18 +00:00
Daniel Barlow
f08c10c8ba patch u-boot to add ubifs support 
not that we're using it yet
 2023-12-04 23:39:27 +00:00
Daniel Barlow
d25a804f13 test wlan iun armv7 2023-12-04 23:37:39 +00:00
Daniel Barlow
0242cec977 run-liminix-vm: remove unneeded second copy of pad code 2023-12-04 23:37:39 +00:00
Daniel Barlow
5a2963543e thonk 2023-12-04 23:29:36 +00:00
Raito Bezarius
644f42c35e kernel: make the build FSAT on FSAT computers 
I have 128 threads, builds should take only but a moment!
 2023-12-03 23:05:12 +00:00
Daniel Barlow
98d3336926 rewrite run-liminix-vm as a fennel program 
the effect of shell quoting/word splitting rules was reaching
completely unreasonable, insofar as I was unable to reason about it
 2023-12-03 22:51:39 +00:00
Daniel Barlow
cb6ebbdc60 alphabetize derivations in overlay 2023-12-02 17:08:59 +00:00
Daniel Barlow
bb335050fd derivation that produces /boot 2023-12-02 15:31:55 +00:00
Daniel Barlow
395f624338 think 2023-12-02 15:31:09 +00:00
Daniel Barlow
e518ab667b make job control work in console shell 2023-11-29 19:49:51 +00:00
Daniel Barlow
382128b6cf omnia: make wan interface work 2023-11-28 21:38:45 +00:00
Daniel Barlow
c803772074 omnia: add hardware ethernet and switch config 2023-11-27 21:37:15 +00:00
Daniel Barlow
32c24f3809 switch pppoe test back to qemu mips 
while we find out why it fails
 2023-11-26 23:18:24 +00:00
Daniel Barlow
cc73a98419 support setting network device names 
this means that net devices in devices/foo/default.nix can be
specified by their sysfs paths (instead of by "eth0" and "eth1" that
may change from one kernel version to the next) and given mnenomic
names that are helpful for the hardware. Like "wan" and "lan[1..4]"
 2023-11-26 23:15:28 +00:00
Daniel Barlow
e2ea145ce5 wip 2023-11-26 22:43:56 +00:00