mdebray/tvl-depot
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

docs(tvix/boot): Update command to reflect new tvix/boot directory

Browse source 
This used to be in tvix/test but was moved to tvix/boot, but not all the
command were updated so they no longer work as documented.

This updates the commands to use the new tvix/boot directory.

Change-Id: I8658d928a152140df182c159bf98ea9d9ecd1302
Reviewed-on: https://cl.tvl.fyi/c/depot/+/9482
Tested-by: BuildkiteCI
Reviewed-by: flokli <flokli@flokli.de>
This commit is contained in:
Connor Brewster 2023-09-27 16:07:54 -07:00
parent de958ccf01
commit 053e41f4e5
1 changed files with 5 additions and 5 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

10
tvix/boot/README.md
View file

@ -5,7 +5,7 @@ virtiofs.
In the `tests/` subdirectory, there's some integration tests.
## //tvix/tests:runVM
## //tvix/boot:runVM
A script spinning up a `tvix-store virtiofs` daemon, then starting a cloud-
hypervisor VM.
@ -52,7 +52,7 @@ pkill nar-bridge; pkill tvix-store
Run the VM like this:
```
CH_CMDLINE=tvix.shell mg run //tvix/tests:runVM --
CH_CMDLINE=tvix.shell mg run //tvix/boot:runVM --
```
You'll get dropped into an interactive shell, from which you can do things with
@ -81,7 +81,7 @@ Run the VM like this:
```
hello_cmd=$(mg build //third_party/nixpkgs:hello)/bin/hello
CH_CMDLINE=tvix.run=$hello_cmd mg run //tvix/tests:runVM --
CH_CMDLINE=tvix.run=$hello_cmd mg run //tvix/boot:runVM --
```
Observe it executing the file (and closure) from the tvix-store:
@ -106,7 +106,7 @@ init= cmdline option, and will switch_root to it.
```
CH_CMDLINE=init=/nix/store/…-nixos-system-…/init mg run //tvix/tests:runVM --
CH_CMDLINE=init=/nix/store/…-nixos-system-…/init mg run //tvix/boot:runVM --
```
```
@ -133,4 +133,4 @@ starting systemd...
[ 0.980740] systemd[1]: systemd 253.6 running in system mode (+PAM +AUDIT -SELINUX +APPARMOR +IMA +SMACK +SECCOMP +GCRYPT -GNUTLS +OPENSSL +ACL +BLKID +CURL +ELFUTILS +FIDO2 +IDN2 -IDN +IPTC +KMOD +LIBCRYPTSETUP +LIBFDISK +PCRE2 -PWQUALITY +P11KIT -QRENCODE +TPM2 +BZIP2 +LZ4 +XZ +ZLIB +ZSTD +BPF_FRAMEWORK -XKBCOMMON +UTMP -SYSVINIT default-hierarchy=unified)
```
This effectively replaces the NixOS Stage 1 entirely.
This effectively replaces the NixOS Stage 1 entirely.