update microwatt kernel docs

diff --git a/HDL_workflow/microwatt.mdwn b/HDL_workflow/microwatt.mdwn
index 70e27e9895bad93c97e563dea35202f407649aa2..72343790e8c999a76f75e8ee3f1f53ee349e153a 100644 (file)
--- a/HDL_workflow/microwatt.mdwn
+++ b/HDL_workflow/microwatt.mdwn
@@ -19,14 +19,16 @@ with the message Microwatt, it works. On my ASUS KGPE D16 this takes
      sys       0m0.013s
      
 ## Building the kernel
-On a POWER9 there is no need to install a cross compiler, 
+On a POWER9 there is no need to install gcc-powerpc64le-linux-gnu, 
 you can omit CROSS_COMPILE and ARCH in this case
 
        apt install gcc-powerpc64le-linux-gnu
-       apt install flex bison
+       apt install flex bison lz4
        git clone -b microwatt-5.7 https://git.kernel.org/pub/scm/linux/kernel/git/joel/microwatt.git
        cd microwatt
-       wget https://ozlabs.org/~paulus/rootfs.cpio.xz FIXME 404
-       unxz rootfs.cpio.xz
+       wget http://ftp.libre-soc.org/rootfs.cpio
        CROSS_COMPILE="ccache powerpc64le-linux-gnu-" ARCH=powerpc make -j8 O=microwatt microwatt_defconfig
        CROSS_COMPILE="ccache powerpc64le-linux-gnu-" ARCH=powerpc make -j8 O=microwatt
+       
+This will produce a file 
+       microwatt/arch/powerpc/boot/dtbImage.microwatt