ps7_init: move from experiments to libboard_zynq

experiments/src/main.rs

@@ -15,6 +15,7 @@ use libboard_zynq::{
     clocks::source::{ArmPll, ClockSource, IoPll},
     clocks::Clocks,
     print, println,
+    ps7_init,
     sdio::sd_card::SdCard,
     smoltcp::{
         self,
@@ -34,8 +35,6 @@ use libsupport_zynq::{
 };
 use log::info;
 
-mod ps7_init;
-
 const HWADDR: [u8; 6] = [0, 0x23, 0xde, 0xea, 0xbe, 0xef];
 
 #[no_mangle]

libboard_zynq/src/lib.rs

@@ -21,3 +21,4 @@ pub mod time;
 pub mod timer;
 pub mod sdio;
 pub mod logger;
+pub mod ps7_init;

libboard_zynq/src/ps7_init/mod.rs

@@ -1,6 +1,6 @@
 #![cfg(feature = "target_zc706")]
 
-use libboard_zynq::println;
+use crate::println;
 
 mod zc706;
 // mod cora_z7_10;