From a5df61571cbe313861705a5573e9a6e8481cd224 Mon Sep 17 00:00:00 2001 From: Yegor Timoshenko Date: Mon, 25 Dec 2017 01:51:51 +0000 Subject: raspberry-pi/2: format README --- raspberry-pi/2/README.org | 23 +++++++++++++++++++++++ raspberry-pi/2/README.txt | 19 ------------------- 2 files changed, 23 insertions(+), 19 deletions(-) create mode 100644 raspberry-pi/2/README.org delete mode 100644 raspberry-pi/2/README.txt (limited to 'raspberry-pi') diff --git a/raspberry-pi/2/README.org b/raspberry-pi/2/README.org new file mode 100644 index 0000000..842919b --- /dev/null +++ b/raspberry-pi/2/README.org @@ -0,0 +1,23 @@ +** Status + +The code in master as of June 2015 should be able to prepare a bootable NixOS +for Raspberry PI 2. + +There are still some drawbacks: + +NixOS does not provide a /boot/config.txt (the FAT32 partition). Making NixOS +work in the Raspberry PI 2 is mainly the result of the recent work of ambro718, +Dezgeg and viric (#nixos@irc.freenode.net). + +** Download + +If you want to test, you can flash this 4GB SD image (DOS partition table + +fat32 + ext4 rootfs): + +magnet:?xt=urn:btih:0def3f6acb3bceddb22cb24098f58e40e2853ec2&dn=rpi2-nixos-4b09501f2-img.xz&tr=udp%3A%2F%2Fopen.demonii.com%3A1337&tr=udp%3A%2F%2Ftracker.openbittorrent.com%3A80 + +Then you should be able to nixos-rebuild any configuration.nix changes. + +The image is the result of a "nixos-install" alone. No root password has been +set, and it does not include a nixpkgs checkout or channel. In fact I (viric) +created the FS into a NBD, not a real SD, to create this image. diff --git a/raspberry-pi/2/README.txt b/raspberry-pi/2/README.txt deleted file mode 100644 index 49f661f..0000000 --- a/raspberry-pi/2/README.txt +++ /dev/null @@ -1,19 +0,0 @@ -imported from https://nixos.org/wiki/Raspberry_Pi_2 ** - -# Status -The code in master as of June 2015 should be able to prepare a bootable NixOS for Raspberry PI 2. - -There are still some drawbacks: - -NixOS does not provide a /boot/config.txt (the FAT32 partition). -Making NixOS work in the Raspberry PI 2 is mainly the result of the recent work of ambro718, Dezgeg and viric (#nixos@irc.freenode.net). - -# Download -If you want to test, you can flash this 4GB SD image (DOS partition table + fat32 + ext4 rootfs): -magnet:?xt=urn:btih:0def3f6acb3bceddb22cb24098f58e40e2853ec2&dn=rpi2-nixos-4b09501f2-img.xz&tr=udp%3A%2F%2Fopen.demonii.com%3A1337&tr=udp%3A%2F%2Ftracker.openbittorrent.com%3A80 - -Then you should be able to nixos-rebuild any configuration.nix changes. - -The image is the result of a "nixos-install" alone. No root password has been set, and it does not include a nixpkgs checkout or channel. - -In fact I (viric) created the FS into a NBD, not a real SD, to create this image. -- cgit v1.2.3