Indan Zupancic
Indan Zupancic
I was a bit hasty when going through git blame, I just checked if A72 was there. That commit was in March, so even earlier.
Not having an IPC buffer is not the reason for the truncated message error. That is, any calls that don't pass enough arguments will give that error. However, when using...
> @lsf37 @Indanz Just to be clear, should the `name` and `manual_name` be the same, and in camelCase, e.g. If you look at the user of these variables, then making...
Not counting kernel hangs, that test can hang if the helper never runs. If that is the case, it could mean that 2 times WCET is not enough to make...
If using the 1:1 mapping is possible, your solution is better though.
> Ok, I finally figured out the reason for this. In the spec and Haskell, there is a single function `getMRs` that is used both in the decode path where...
Well, it's not a big problem or anything, so I wouldn't spend much time on it. It just looks strange and is hard to debug in user space. But the...
Depends on how many of those "quite a few" warnings are duplicates, and if it are dozens or hundreds of unique warnings. If it's too many it's just a lot...
> There are currently 85 such warnings on the master branch, many of which are versions of `unsigned conversion from 'int' to 'syscall_t'` at different points in `syscall.c` (all safe)....
So how much does Cortex-A78AE differ from Cortex-A78? That is, are the AE differences visible to seL4? If not, perhaps just call it Cortex-A78? Or leave this to be figured...