On 8/27/2021 19:04, Chris Johns wrote:
On 24/8/21 10:34 pm, Kinsey Moore wrote:
On 8/23/2021 21:41, Chris Johns wrote:
On 24/8/21 9:50 am, Kinsey Moore wrote:
This patch set contains the result of the Exception Manager work I
proposed a while back to manage handling of machine exceptions
On 8/27/2021 19:01, Chris Johns wrote:
On 27/8/21 9:36 am, Kinsey Moore wrote:
Since I'm working on SMP and I've had some of those tests failing
sporadically
as well, I took a dive into smpschededf01.exe on AArch64 and the issue that
particular test seems to be encountering is a mismatch
On 24/8/21 10:34 pm, Kinsey Moore wrote:
> On 8/23/2021 21:41, Chris Johns wrote:
>> On 24/8/21 9:50 am, Kinsey Moore wrote:
>>> This patch set contains the result of the Exception Manager work I
>>> proposed a while back to manage handling of machine exceptions along
>>> with a general feature
On 27/8/21 9:36 am, Kinsey Moore wrote:
> On 8/20/2021 22:06, Chris Johns wrote:
>> On 21/8/21 2:38 am, Kinsey Moore wrote:
>>> On 8/19/2021 18:03, Chris Johns wrote:
>>> My comment in that regard was that other system
>>> loading (or multiple simultaneous test runs) can also cause the same
__STDINT_EXP() is provided by newlib but not by stdint-gcc.h. stdint-gcc.h
is used when the GCC argument -ffreestanding is used and this results in this
file not compiling.
---
newlib/libc/include/sys/signal.h | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git
Hi Daniel,
As far as I understand the code the bus sets the “info.irq” to the pirq value
from the PnP information of the devices.
Then the “drvmgr_interrupt_register(priv->dev, irq, "grgpio", isr, arg) )“ will
register the isr with “irq” as an offset of pirq.
So, for devices with GENIRQ == 0,
