summaryrefslogtreecommitdiff
path: root/cheri
diff options
context:
space:
mode:
authorRobert Norton2017-04-24 14:47:20 +0100
committerRobert Norton2017-04-25 16:32:17 +0100
commit79182fadc47e9939ba529d22a8202be3c1702896 (patch)
tree13e607ac4018b619f0f7867e804763931ec89edf /cheri
parent920012afae84ece57f83e7a59264cf77986f51bd (diff)
Add support for uart terminal. Also add read_bit_reg function for faster and neater access to registers of single bit.
Diffstat (limited to 'cheri')
-rw-r--r--cheri/cheri_prelude_common.sail2
1 files changed, 1 insertions, 1 deletions
diff --git a/cheri/cheri_prelude_common.sail b/cheri/cheri_prelude_common.sail
index 4027d43f..89fd99bf 100644
--- a/cheri/cheri_prelude_common.sail
+++ b/cheri/cheri_prelude_common.sail
@@ -263,7 +263,7 @@ function (bit[64]) align((bit[64]) addr, (nat) alignment) =
function unit effect {wmem} MEMw_wrapper(addr, size, data) =
if (addr == 0x000000007f000000) then
{
- UART_WDATA := data[31..24];
+ UART_WDATA := data[7..0];
UART_WRITTEN := 1;
}
else