From: Luke Kenneth Casson Leighton <lkcl@lkcl.net>
To: Libre-RISCV General Development <libre-riscv-dev@lists.libre-riscv.org>
Subject: [libre-riscv-dev] how do we test external interrupts?
Date: Tue, 28 Jul 2020 14:30:27 +0100
Message-ID: <CAPweEDySLuS1NVLv71LZ_UXRRdfxWQ5WQ__1wkkx5JY9vS1mWA@mail.gmail.com> (raw)
i've started on the XICS controller, and have converted both the ICS and
ICP. a simple unit test on XICS-ICS shows it to be functional.
however we are hampered in several ways:
1) there does not appear to exist an actual accessible specification.
2) the only implementations are source code (linux kernel, qemu)
3) nobody else has written unit tests
4) given that XICS is involved in *external* interrupts, how do we even
*begin* to write a unit test that runs under e.g. qemu and the simulator,
here??
so i'd like to open up the discussion to develop a strategy here.
my feeling is that we may have to create a simulated peripheral (an
interrupt driven 16550 UART) in ISACaller which would allow exploration,
here.
thoughts welcome.
l.
--
---
crowd-funded eco-conscious hardware: https://www.crowdsupply.com/eoma68
_______________________________________________
libre-riscv-dev mailing list
libre-riscv-dev@lists.libre-riscv.org
http://lists.libre-riscv.org/mailman/listinfo/libre-riscv-dev
next reply index
Thread overview: 6+ messages / expand[flat|nested] mbox.gz Atom feed top
2020-07-28 13:30 Luke Kenneth Casson Leighton [this message]
2020-07-28 14:54 ` Samuel Falvo II
2020-07-28 16:14 ` Luke Kenneth Casson Leighton
2020-07-28 16:41 ` Samuel Falvo II
2020-07-28 16:50 ` Jacob Lifshay
2020-07-28 18:20 ` Luke Kenneth Casson Leighton
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=CAPweEDySLuS1NVLv71LZ_UXRRdfxWQ5WQ__1wkkx5JY9vS1mWA@mail.gmail.com \
--to=lkcl@lkcl.net \
--cc=libre-riscv-dev@lists.libre-riscv.org \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Libre RISC-V Mailing list Archives (accessible via public-inbox)
Archives are clonable: git clone --mirror https://inbox.libre-soc.org/libre-riscv-dev
Example config snippet for mirrors
AGPL code for this site: git clone https://public-inbox.org/public-inbox.git