seL4 Jansson

This is a port of Jansson-2.7 to seL4 and the seL4 project build system.

The port consists of symlinking the source and header files to the appropriate places and adding a CMakeLists.txt file for the seL4 build system.

Jansson README

Jansson_ is a C library for encoding, decoding and manipulating JSON data. Its main features and design principles are:

• Simple and intuitive API and data model

• Comprehensive documentation

• No dependencies on other libraries

• Full Unicode support (UTF-8)

• Extensive test suite

Jansson is licensed under the MIT license_; see LICENSE in the source distribution for details.

Documentation

Prebuilt HTML documentation is available at https://jansson.readthedocs.io/en/2.7/