denshooter/genode
1
0
Fork 0
mirror of https://github.com/mmueller41/genode.git synced 2026-01-21 20:42:56 +01:00
Code Issues Packages Projects Releases Wiki Activity

vmm: check ring-buffer capacity in pl011 model

Browse Source 
Ref #3620
This commit is contained in:
Stefan Kalkowski
2020-01-23 15:05:23 +01:00
committed by Christian Helmuth
parent 55c3eb7c14
commit 2e2625e952
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
repos/os/src/server/vmm/spec/arm_v8/pl011.cc
View File

@@ -64,7 +64,7 @@ void Pl011::_read()
{
if (!_terminal.avail()) return;
while (_terminal.avail()) {
while (_terminal.avail() && _rx_buf.avail_capacity()) {
unsigned char c = 0;
_terminal.read(&c, 1);
_rx_buf.add(c);