History log of /seL4-camkes-master/projects/projects_libs/CMakeLists.txt
Revision Date Author Comments
# 7f86b9a7 01-Dec-2019 Damon Lee <Damon.Lee@data61.csiro.au>

libplatsupportports: Add platsupportports library

This library is similar to the platsupport library in util_libs but is
intended to house code ports from GPL sources.


# f204a9f9 27-Nov-2019 Damon Lee <Damon.Lee@data61.csiro.au>

libtx2bpmp: Pull in U-Boot's srcs for BPMP,IVC,CLK

This commit brings in the Tegra BPMP and IVC sources, as well as the
devicetree clock bindings from U-Boot and also adds CMake rules to
define this subdirectory as a separate library project.


# a7f7b7c1 04-Sep-2019 Yu Hou <Yu.Hou@data61.csiro.au>

libfdtgen: initial release

this library can generate a sub-devicetree
using a root devicetree and a specification


# 1ae814ad 06-Aug-2019 Sylvain Gauthier <sylvain.gauthier@data61.csiro.au>

Added new libvirtqueue

Created a new multi-buffer, scatter-gather libvirtqueue, closer to
compliance with the virtio standard.


# e6d0be6c 06-Aug-2019 Sylvain Gauthier <sylvain.gauthier@data61.csiro.au>

Removed old deprecated libvirtqueue

Removed the old single-buffer libvirtqueue as a preliminary commit for
introducing the new one.


# 83c2ad32 15-Jul-2019 Yu Hou <Yu.Hou@data61.csiro.au>

link kernel_autoconf explicitly

explicitly link kernel_autoconf on each subdirectory


# c8d21d77 22-May-2019 Yu Hou <Yu.Hou@data61.csiro.au>

projects_libs: global configuration lib

this commit removes autoconf.h generation from projects_libs and
append '#include <<lib_name>/gen_config.h>' after each
'#include <autoconf.h>' since autoconf.h is only the for the
kernel config now. This is a temporarily solution, since we
currently don't have a way to tell which header files each file
is trying to include when it includes 'autoconf.h'


# 94215e19 31-Jul-2018 Kofi Doku Atuah <Kofidoku.atuah@data61.csiro.au>

vswitch: Added vswitch library implementation

Added the libvswitch library implementation. This is a library
which provides utility functions for managing and routing virtual
LANs in a VMM environment.


# df42bbe8 31-Jul-2018 Adam Felizzi <Adam.Felizzi@data61.csiro.au>

virtqueue: Added virtqueue library implementation

Added the libvirtqueue library implementation. This is an
initial/basic library that implements a generic virtqueue API,
inspired by virtio communication mechanisms.


# 775f7f92 24-Jun-2018 Anna Lyons <Anna.Lyons@data61.csiro.au>

Add libnfs


# 54095dd3 13-Nov-2017 Claudia Tu <claudia.tu@unsw.edu.au>

SELFOUR-1103 add cmake support