hat argument (as we did for endpoint caps - their level of specialness is
>> pretty messy, but we considered it worth the pain). I should probably leave
>> that part to Kevin.
>>
>> Cheers,
>> Gerwin
>>
>>> On 16.02.2017, at 03:20, Andrew Gacek <andrew.ga.
Based on the seL4 manual it sounds like IRQControl caps only support
one level of derivation. What is the reason for this restriction? We
encountered a case where we wanted to hand out an IRQControl for a
specific irq and then later revoke access, but we couldn't do it
because the IRQControl for a
nally (1d8be141afa). Should be pushed to github by tomorrow.
>
> Cheers,
>
> Hesham
> ____
> From: Andrew Gacek <andrew.ga...@gmail.com>
> Sent: Thursday, January 19, 2017 9:18 AM
> To: Almatary, Hesham (Data61, Kensington NSW)
> Cc: d
20c4299714896ba0cd4
>
> Cheers,
> Hesham
>
> From: Devel <devel-bounces@sel4.systems> on behalf of Andrew Gacek
> <andrew.ga...@gmail.com>
> Sent: Thursday, January 19, 2017 8:17 AM
> To: Kuz, Ihor (Data61, Kensington NSW
%UART_Driver_inst.uart_shim_obj(6) (cap 0x42)
0.7%time_server.time_server(8) (cap 0x3e)
0.6%CAN_Framing_inst(9) (cap 0x28)
0.6%Decrypt_inst(7) (cap 0x2d)
...
-Andrew
On Wed, Jan 18, 2017 at 8:16 AM, Andrew Gacek <andrew.ga...@gmail.com> wrot
if necesary).
>
> Note that if the syscalls require caps, then you are on your own wrt how to
> get the caps.
>
> Ihor
>
>> On 18 Jan 2017, at 12:29 pm, Andrew Gacek <andrew.ga...@gmail.com> wrote:
>>
>> Thanks Adrian. This is a useful start. It sounds like the ea
Actually, is there any easy way to get all TCBs even from within the
kernel? I see ksReadyQueues has all the runnable TCBs, but what about
the rest?
-Andrew
On Tue, Jan 17, 2017 at 7:29 PM, Andrew Gacek <andrew.ga...@gmail.com> wrote:
> Thanks Adrian. This is a useful start. It so
Hi,
I'm interested in seeing how much of the CPU is being used by the
various threads in my (camkes) application. I'd like a simple "Task
Manager" style report of the form:
70% idle
25% can_obj_7_0_control_9_tcb
5% can_obj_7_Int_3__tcb
0% can_obj_7_0_fault_handler_15__tcb
etc
I've tried
function in sys_fputc.c
>
> The call to platform_init() would also need to occur a few lines
> earlier, before the first printf:
> https://github.com/seL4/seL4_tools/blob/2.0.x-compatible/elfloader-tool/src/arch-arm/boot.c#L81
>
> - Alex
>
>
> On Tue, 2016-12-06 at 16
(UART_CONTROL);
v |= (1 << 4);
v &= ~(1 << 5);
*UART_REG(UART_CONTROL) = v;
to the __fputc function.
This clearly isn't the right spot for it. Where should such initial
configuration be done?
-Andrew
On Tue, Dec 6, 2016 at 3:33 PM, Andrew Gacek <andrew.ga...@gmail
If I suspend the execution in QEMU, the program counter is at
0xe00108ec. In the kernel, that is the method. So
perhaps the system is running, but I'm just not able to see any output
from the elfloader, kernel, etc.
-Andrew
On Tue, Dec 6, 2016 at 2:49 PM, Andrew Gacek <andrew.ga...@gmail.
your arguments?
>
> - Alex
>
>
> From: Devel <devel-bounces@sel4.systems> on behalf of Andrew Gacek
> <andrew.ga...@gmail.com>
> Sent: Wednesday, December 7, 2016 2:23 AM
> To: devel@sel4.systems
> Subject: [seL4] seL
Yes, I think the seL4 kernel is mapped into the virtual address space
of all processes. I think the exact separation between user mode space
and kernel space depends on the platform. For example, on the zynq7000
platform we have:
What's the difference between seL4RPC and seL4RPCCall in CAmkES? Is
there documentation on the various connectors somewhere?
Thanks,
Andrew
___
Devel mailing list
Devel@sel4.systems
https://sel4.systems/lists/listinfo/devel
return 0;
}
4. Compile
5. Attach pipe to second serial port of qemu: "qemu-system-arm -M kzm
-nographic -kernel images/capdl-loader-experimental-image-arm-imx31
-monitor none -serial stdio -serial pipe:uart2"
-Andrew
On Wed, Nov 16, 2016 at 9:56 PM, Andrew Gacek <andrew.ga...@
t to your guest over the tunnel interface.
>
>
> On Wed, Nov 16, 2016 at 4:59 PM, Andrew Gacek <andrew.ga...@gmail.com>
> wrote:
>>
>> Hi,
>>
>> We are developing an seL4 application that will process UDP packets
>> coming in over a network conn
Hi,
We are developing an seL4 application that will process UDP packets
coming in over a network connection. Eventually, we'll be running this
on real hardware with real drivers, but for now we are using QEMU. We
have a python script that can generate packet payloads. Is there a way
to send this
17 matches
Mail list logo
