copy pre-built image to repository root

1 files changed, 18 insertions, 1 deletions

diff --git a/src/main.rs b/src/main.rs
index 7fcca0b..c323898 100644
--- a/src/main.rs
+++ b/src/main.rs
@@ -1,7 +1,7 @@
 use anyhow::bail;
 use std::env;
 use std::fs::File;
-use std::io::Write;
+use std::io::{Read, Write};
 use std::path::Path;
 use std::process::Command;
 
@@ -69,6 +69,19 @@ fn compile() -> anyhow::Result<()> {
     Ok(())
 }
 
+fn copy_file<P: AsRef<Path>, Q: AsRef<Path>>(src: P, dst: Q) -> anyhow::Result<()> {
+    let mut outfile = File::create(dst)?;
+    let mut infile = File::open(src)?;
+
+    let mut buf = Vec::new();
+    infile.read_to_end(&mut buf)?;
+    outfile.write_all(&buf)?;
+
+    outfile.set_permissions(infile.metadata()?.permissions())?;
+
+    Ok(())
+}
+
 fn main() -> anyhow::Result<()> {
     let file_name = Path::new(LATEST).file_name().unwrap().to_str().unwrap();
 
@@ -89,5 +102,9 @@ fn main() -> anyhow::Result<()> {
     compile()?;
     println!("Kernel compiled successfully");
 
+    let kernel_path = "arch/x86_64/boot/bzImage"; /* FIXME: arch independent */
+
+    copy_file(kernel_path, "vmlinuz")?;
+
     Ok(())
 }