- Devel - lists.sel4.systems

Reminder seL4 developer hangout
by Birgit Brecknell 04 Feb '24

04 Feb '24

Hi all A friendly reminder that the seL4 developer hangout is on again this week: * Sydney: Wed, Feb 7, 6pm For your time zone, please see the calendar: https://sel4.systems/contact/ Zoom link: https://unsw.zoom.us/j/82640784431 cheers Birg --- Birgit Brecknell Project Coordinator, seL4 Foundation birgit(a)sel4.systems<mailto:birgit@sel4.systems> birgit.brecknell(a)unsw.edu.au<mailto:birgit.brecknell@unsw.edu.au> Mon 9am-5pm Wed 2pm-5pm Fri 9am-5pm

1 0

fault processing
by Leonid Meyerovich 26 Jan '24

26 Jan '24

I am working on fault processing. When I am a fault I am calling void sel4utils_print_fault_message(seL4_MessageInfo_t tag, const char *thread_name) from sel4libsutils library I have tested it for "page fault" condition and it works fine - I am getting seL4_Fault_VMFault fault type But in certain case I have got seL4_Fault_VCPUFault type, which is not implemented sel4libsutils library I try to process this fault similar to seL4_Fault_VMFault to get all neccessary registers, but the kernel … [View More]

2 3

seL4 fault processing
by Leonid Meyerovich 25 Jan '24

25 Jan '24

My root task (root thread created by kernel) checks for fault from the other threads, which are created in root thread with badged fault_ep seL4_Word badge; seL4_MessageInfo_t messageInfo = seL4_NBRecv(init_objects.fault_cap, &badge); if (seL4_MessageInfo_get_label(messageInfo) != seL4_Fault_NullFault ) { process_fault(messageInfo, badge); } Normally I don't have any faults, but every time I have seL4_MessageInfo_get_label(messageInfo) == 4, which is not in … [View More]

4 5

seL4 root task executable memory region
by Leonid Meyerovich 24 Jan '24

24 Jan '24

I assume that the code segment of the root task starts from __executable_start address. Does it point to ELF header? Or code starts directly from this address? Thank you,

1 0

seL4 fault handling
by Leonid Meyerovich 23 Jan '24

23 Jan '24

Hello, Where can I find a comprehensive description of fault message registers for every of the following faults enum seL4_Fault_tag { seL4_Fault_NullFault = 0, seL4_Fault_CapFault = 1, seL4_Fault_UnknownSyscall = 2, seL4_Fault_UserException = 3, seL4_Fault_VMFault = 5, seL4_Fault_VGICMaintenance = 6, seL4_Fault_VCPUFault = 7, seL4_Fault_VPPIEvent = 8 }; Thanks, LM

3 3

Reminder seL4 developer hangout
by Birgit Brecknell 21 Jan '24

21 Jan '24

Hi all A friendly reminder that the seL4 developer hangout is on again this week: * Sydney: Wed, Jan 24, 8am For your time zone, please see the calendar: https://sel4.systems/contact/ Zoom link: https://unsw.zoom.us/j/82640784431 cheers Birg --- Birgit Brecknell Project Coordinator, seL4 Foundation birgit(a)sel4.systems<mailto:birgit@sel4.systems> birgit.brecknell(a)unsw.edu.au<mailto:birgit.brecknell@unsw.edu.au> Mon 9am-5pm Wed 2pm-5pm Fri 9am-5pm

1 0

Reminder seL4 developer hangout
by Gerwin Klein 09 Jan '24

09 Jan '24

Hi all A friendly reminder that the seL4 developer hangout is on again this week: * Sydney: Wed, Jan 10, 6pm For your time zone, please see the calendar: https://sel4.systems/contact/ Zoom link: https://unsw.zoom.us/j/82640784431 Cheers, Gerwin

1 0

CAmkES VMM custom OS
by Hugo V.C. 18 Dec '23

18 Dec '23

Hi all, I'm wondering if someone could forward me to the path I must follow to achieve booting a Hermit unikernel (https://github.com/hermit-os/hermit-rs) via CAmkES VMM. I know CAmkES VMM are "virtualised Linux guests on seL4 for ARM and x86 platforms" but I think that being able to boot a Rust based unikernel opens the door to a fascinating World... (no more dependency on "fat/buggy" Linux kernel). Any help where I need to start? Does it require to modify CAmkES VMM to add such functionality? Best,

2 2

get interrupts in x86
by os.team.1992＠gmail.com 13 Dec '23

13 Dec '23

Hi I am trying to run linux OS on camkes seL4 hypervisor. The hardware I use is x86-64. But I do not receive the interrupts from the devices that I have passthrough, and Linux is managing the interrupts in the form of pooling. This problem exists at the kernel level. Where the IO/APIC settings should be applied to the system but are not applied correctly. Is this problem solved in internal versions? For example, physical interrupt 10 is defined for network hardware. Vector 58 is defined for … [View More]

1 0

Reminder seL4 developer hangout
by Birgit Brecknell 10 Dec '23

10 Dec '23

Hi all A friendly reminder that the seL4 developer hangout is on again this week: * Sydney: Wed, Dec 13, 6pm For your time zone, please see the calendar: https://sel4.systems/contact/ Zoom link: https://unsw.zoom.us/j/82640784431 cheers Birg --- Birgit Brecknell Project Coordinator, seL4 Foundation birgit(a)sel4.systems<mailto:birgit@sel4.systems> birgit.brecknell(a)unsw.edu.au<mailto:birgit.brecknell@unsw.edu.au> Mon 9am-5pm Wed 2pm-5pm Fri 9am-5pm

1 0