# oizys todo's - [ ] go back to latest kernel when VirtualBox Upgrade is merged - [PR #311362](https://github.com/NixOS/nixpkgs/pull/311362) - [ ] monitor the presence of these kernel messages on `othalan`, possibly resolved with latest kernel, see above > kernel: ucsi_acpi USBC000:00: possible UCSI driver bug 2 > kernel: ucsi_acpi USBC000:00: error -EINVAL: PPM init failed - [ ] make desktop application file for win10 vm - [ ] find out why pixi on GHA is different from local (possibly from the fetch git step?)