diff options
author | Florian Klink <flokli@flokli.de> | 2024-03-17T20·03+0200 |
---|---|---|
committer | flokli <flokli@flokli.de> | 2024-03-18T16·10+0000 |
commit | 8fb1d0ad4bb4f1fef019d2562ecdd70e409afbe5 (patch) | |
tree | 76b1ee2a6133b6dc72310666aaef737bc3d4b56d /tvix/.gitignore | |
parent | fca3926a62a7f6dda1b4f98acd036c61fe8211a5 (diff) |
docs(tvix/boot): document we could use a smaller kernel here. r/7726
We currently use a pretty big kernel to boot the tvix VMs, with a lot of drivers. It can probably be slimmed down significantly, at least on the hardware driver and filesystem front. Change-Id: I4c7f73fb2dafbf2bcdec8057d2b14a9b0e9b3275 Reviewed-on: https://cl.tvl.fyi/c/depot/+/11187 Tested-by: BuildkiteCI Reviewed-by: Connor Brewster <cbrewster@hey.com> Autosubmit: flokli <flokli@flokli.de>
Diffstat (limited to 'tvix/.gitignore')
0 files changed, 0 insertions, 0 deletions