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

864 commits

This branch
This branch
All branches
Author SHA1 Message Date
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
Daniel Barlow
b036a161f5 thonk 2023-11-26 22:43:31 +00:00
Daniel Barlow
31a2969972 omnia: add support for wifi 
- ath9k and ath10k, both on PCI bus (which can be enumerated, hence
they don't need to be in device tree)

- need to disable PCIe ASPM for the ath9k to work

- appropriate firmware files added for ath10k
 2023-11-26 13:25:01 +00:00
Daniel Barlow
76a370cc92 omnia kernel: add watchdog 
it's enabled by u-boot so we need at least this minimal capability
otherwise the system reboots after three minutes
 2023-11-26 13:07:44 +00:00
Daniel Barlow
bf9f264f0c update TODO 2023-11-25 18:49:26 +00:00
Daniel Barlow
e35b61b68c mac80211: support ath9k pci variant 
if you ask for "ath9k" you get AHB, but if you ask for "atk9k_pci"
now you get PCI. Note that the kernel module name is the same in
both cases.
 2023-11-25 18:39:15 +00:00
Daniel Barlow
a8f98ccfe7 use linuxArch instead of case statement 2023-11-25 18:16:20 +00:00
Daniel Barlow
27ce61ae4e add bootable config for Turris Omnia 2023-11-24 23:29:12 +00:00
Daniel Barlow
3f0f621809 openwrt patches for mvebu (armv7l) 2023-11-24 22:43:58 +00:00
Daniel Barlow
b0ae314df4 stuff 2023-11-24 22:33:42 +00:00
Daniel Barlow
d789a23113 twiddle timeouts 2023-11-24 21:32:53 +00:00
Daniel Barlow
5ba14fd915 add levitate package 
sets up a chroot system in tmpfs that will be executed on the next
reboot to enable system maintenance without the regular filesystems
mounted
 2023-11-23 22:21:03 +00:00
Daniel Barlow
3df34428d6 remove unneeded login and getty applets 2023-11-23 20:01:13 +00:00
Daniel Barlow
62c788eb86 add hook to run maintenance mode instead of rebooting 2023-11-22 00:05:55 +00:00
Daniel Barlow
bab6d346a8 add .../s6/bin to PATH for shutdownd 2023-11-22 00:05:03 +00:00
Daniel Barlow
a202ae476a extract console redirection stuff from "quit" function 
so we can use it for scripts that don't reboot at their end
 2023-11-21 23:32:37 +00:00
Daniel Barlow
7c9297f91d use shotdown instead of hpr in .s6-svscan/SIGFOO 
this is to bring them into line with what more recent
s6-init-linux-maker creates
 2023-11-21 23:19:00 +00:00
Daniel Barlow
a0bd250963 switch from getty to root shell on console 
this just makes things marginally simpler
 2023-11-21 23:09:48 +00:00
Daniel Barlow
c8b2d58dd3 exit 0 on service down even if no outputs to delete 2023-11-21 17:25:50 +00:00
Daniel Barlow
e5223f093f kernel.src may be a path not just a package 
this makes it easier to hack the kernel locally and test things
 2023-11-18 14:21:18 +00:00
Daniel Barlow
c563a6451f add missing param 2023-11-18 14:20:59 +00:00