Ben,
The tutorials really only help you learn about the concepts and APIs around
seL4 and CAmkES. It does not represent the best way to create your own project.
It would be better to start with using the manifest for the camkes test-suite:
https://github.com/seL4/camkes-manifest
Using this
All,
We at DornerWorks wanted to let the seL4 community know about some seL4
training opportunities that we will be providing on behalf of the seL4 Center
of Excellence (CoE).
First, we will be providing an introductory webinar that provides an overview
and explains the basics of seL4.
Thad,
If you would like to get started with the ZUS+ right away, you could also use a
slightly older version of the codebase.
repo init -u https://github.com/seL4/sel4test-manifest.git -b refs/tags/9.0.0
repo sync
make zynqmp_aarch64_debug_xml_defconfig
make
Thanks,
Robbie VanVossen
Joyce,
The ARM Cortex-A7 is feature-compatible with the Cortex-A15. We ran seL4 on the
Cubietruck which is a dual-core Cortex-A7. Just enable CONFIG_ARM_CORTEX_A15 in
your configuration.
Thanks,
Robbie VanVossen
DornerWorks, Ltd.
From: Devel [mailto:devel-bounces@sel4.systems] On Behalf Of
Hello,
We are looking to add another virtio device to camkes-vm for guests to use. I
have been looking through the code at how virtio_net works and I have a pretty
decent understanding of how it is configured and used. I have a few
design/philosophical questions though.
1. Was any of
Hello,
I have been trying to get groups with CAmkES 2.2 working, but it doesn't look
like it will build correctly. At first, when I place components in a group, I
get that there is an unresolved reference to one of the components during
compilation.
I was able to get past this by moving the
Hello,
I am trying to create a 1:1 physical to virtual mapping in my root thread. My
first step in attempting this is to reserve the virtual address I need using
the vspace_reserve_range_at() function, but I get the following error:
ERROR:sel4utils_reserve_range_at_no_alloc:585: Range not
Hello,
I am trying to map a device 1:1 in my root thread. When I try to reserve a range
at the specific location, using the vspace_reserve_range_at() function I get the
following error:
ERROR:sel4utils_reserve_range_at_no_alloc:585: Range not available at
0xf8f0, size 0x64000.
Is there
Hello,
I am attempting to integrate the Xilinx drivers, provided through their SDK,
with seL4 on the Zynq7000.
In the root thread, I created a virtual mapping for the SD Card peripheral, and
I pass that virtual address into the driver, so that it is reading and writing
to it.
The controller has