The build system's sanity checking has been improved, so this
misconfiguration is no longer accepted, but causes a build
failure. Fix the issue and set the proper configuration.
Signed-off-by: Axel Heider <axelheider@gmx.de>
The Arm VM has been merged into the camkes-vm repo and is available
under a slightly different path there.
Signed-off-by: Gerwin Klein <gerwin.klein@proofcraft.systems>
Move long running tasks to foreground so that it doesn't appear that the
build has hung.
- Linux downloading takes a while for a git checkout
- The sel4-docsite project can hang while bundler asks for a sudo
prompt. There doesn't seem to be a way to dismiss this with a flag.
Signed-off-by: Kent McLeod <kent@kry10.com>
Let's run udhcp in the background detached from the console so the user can work while udhcp tries to get an IP. Tested and works perfectly.
Signed-off-by: Gerwin Klein <gerwin.klein@proofcraft.systems>
These are PCI device IRQs that can't currently be parsed by the DTB
connector. For now it should be sufficient to get it to allocate them
explicitly as they have been removed from the base VM component
upstream.
Call cgi-load-file for any files requested via /secure/* urls.
Calling site:3000/secure/test.html will call a cgi-load-file binary with
/test.html passed in via an environment variable
settings.cmake must be included before the project command is run. This
is to allow the settings to set settings that the project command may
depend on.
Added a variant camkes application of the webserver. This
variant establishes multiple VM's, each running a webserver. In
addition there exists a VM with ethernet passthrough that in turn
faciliates and multiplexes external network access for the other
VM's. The VM with ethernet access provides a virtual network
interface to the other VM's so that they can access the external
network.
Updated the macro 'docsite_install_to_overlay' to dereference the
overlay variable. This would otherwise always add the files to an
overlay named 'overlay'.
The default values of cnode size bits and untyped pool have been
removed from the configuration file. Applications using the
configuration macros need to define the attributes themselves.
We enable 'KernelArmDisableWFIWFETraps' as we need to resume a VMs
TCB/VCPU to receive the delivery of virtual timer PPI events. The
VM would otherwise hang as it would not receive any interrupts.
This library is not necessary as we don't compile in the module
that uses zlib (deflate-support for mod_compress). This
additionally simplifies the dependencies required to build
lighttpd.
Implemented a patch to the lighttpd CMake build system so that
it compiles the lemon binary with the hosts toolchain. This is
needed to ensure the host machine can execute the lemon
binary when building lighttpd. This would otherwise cause issues
when cross-compiling lighttpd, producing a lemon binary for a
different architecture.
Implemented a patch to the lighttpd CMake build system so that
it can support a custom libprce config script. Prior the libpcre
config script would only be sourced from the sysroot that lighttpd
is being built on. This patch allows lighttpd to take an
externally provided pcre config and library that is not installed
in the users sysroot. Additionally updated the external project
to checkout lighttpd on a specific tag (so that the patch can
be reliably applied)
Added a new external project build, libpcre. This is a dependency
used to build lighttpd. This step has been introduced in building
the lighttpd binary due to various difficulties that have been
encountered when installing the armel version of libpcre
(particularly on Debian and Ubuntu systems).
Added extra args to qemu simulate script in order to emulate a net
device and bind it to the host tap0 interface, effectively allowing
connections from the host network.
This documentation contains information about the purpose of this
application as well as current status, future goals, setup instructions
and how to contribute.
Add a CMake module that downloads, builds and packages a
docs.sel4.systems static website. It is intended for being served by the
lighttpd webserver added previously.
This module will build and install a static binary of the lighttpd
webserver into a VM overlay. It is currently configured to serve a
static site on port 3000 out of /run/site in the VM.
Gerwin Klein