Log device registration

This commit is contained in:
pjht 2024-09-30 09:49:52 -05:00
parent 24c84fd0f3
commit d0c5f8b706
Signed by: pjht
GPG Key ID: 7B5F6AFBEC7EE78E

View File

@ -483,6 +483,10 @@ fn main() {
break; break;
} }
} }
syslog_client
.send_text_message("bga", format!("Registering bga{dev_id}"))
.unwrap();
devfs_rpc::Client::new(devfs_pid) devfs_rpc::Client::new(devfs_pid)
.register_dev(&format!("bga{dev_id}")) .register_dev(&format!("bga{dev_id}"))
.unwrap(); .unwrap();