Connect ipi in CLINT

This commit is contained in:
Florian Zaruba 2018-09-28 21:56:21 +02:00
parent 63070d856f
commit 25d2d58d35
No known key found for this signature in database
GPG key ID: E742FFE8EC38A792

View file

@ -168,6 +168,8 @@ module clint #(
end
end
assign ipi_o = msip_q;
// -------------
// Assertions
// --------------