Re: [Nix-dev] boot problem: stage1 repair console doesn't work under VirtualBox

2014-02-05 Thread Sergey Mironov
I've tried this approach on a real machine, the result is the same. 2014-02-05 Sergey Mironov grr...@gmail.com: Hi! Looks like stage1 repair console can't read user input, at least under VirtualBox. Here is how to reproduce the problem: 1. Boot VirtualBox with NixOS minimal installation CD

Re: [Nix-dev] boot problem: stage1 repair console doesn't work under VirtualBox

2014-02-05 Thread Sergey Mironov
On my real machine I've tried nixos-minimal-13.10.35608.1e7192a-x86_64-linux.iso from the official site. In VirtualBox test I used manually built image, sources were forked from 5898d854da459526ef032db1ad081a6eebbd772d. Regards, Sergey 2014-02-05 Lluís Batlle i Rossell vi...@viric.name: On Wed,

Re: [Nix-dev] boot problem: stage1 repair console doesn't work under VirtualBox

2014-02-05 Thread Eelco Dolstra
Hi, On 05/02/14 08:40, Sergey Mironov wrote: Hi! Looks like stage1 repair console can't read user input, at least under VirtualBox. Here is how to reproduce the problem: 1. Boot VirtualBox with NixOS minimal installation CD attached 2. Press 'e' in the grub to edit kernel command line 3.

Re: [Nix-dev] boot problem: stage1 repair console doesn't work under VirtualBox

2014-02-05 Thread Vladimír Čunát
On 02/05/2014 11:34 AM, Sergey Mironov wrote: linux_3_10 = pkgs.linux_3_10.override { extraConfig = '' KEYBOARD_ATKBD y ''; }; Adding the module to boot.initrd.kernelModules should work the same without rebuilding the kernel, won't it? Vlada

Re: [Nix-dev] boot problem: stage1 repair console doesn't work under VirtualBox

2014-02-05 Thread Sergey Mironov
AFAIK, there is a fail call in the initrd's ./stage1.sh which sits before module loading [1]. This means that boot.debug1 will only works with KEYBOARD_ATKBD y [1] - https://github.com/NixOS/nixpkgs/blob/master/nixos/modules/system/boot/stage-1-init.sh#L125 2014-02-05 Vladimír Čunát

[Nix-dev] boot problem: stage1 repair console doesn't work under VirtualBox

2014-02-04 Thread Sergey Mironov
Hi! Looks like stage1 repair console can't read user input, at least under VirtualBox. Here is how to reproduce the problem: 1. Boot VirtualBox with NixOS minimal installation CD attached 2. Press 'e' in the grub to edit kernel command line 3. Add bood.debug1 kernel argument 4. Boot Repair