Google Git
Sign in
opensecura / 3p / sel4 / sel4_libs / 46844c2ef01341d55330d934da90fdf85e03c66e
commit46844c2ef01341d55330d934da90fdf85e03c66e[log] [tgz]
authorDamon Lee <Damon.Lee@data61.csiro.au>Tue Aug 13 16:44:43 2019 +1000
committerDamon Lee <Damon.Lee@data61.csiro.au>Mon Aug 19 14:38:20 2019 +1000
treedfdc59cfc459b0a2872edaad120a76552dc569d6
parentf02430b5bfdc9b583df3e20e0d4f1fe0a9b594ef [diff]
libsel4simple-default: Remove error message

The error message from the 'get_bootinfo_length' function is removed as
this will cause problems for certain projects in which they initialise
the IO ops interface to initialise the serial device.

The problem stems from the fact that the DTB is not included for certain
architectures: x86 and RISCV (for now), and so when the FDT interface
initialisation function calls 'get_bootinfo_length', it will fail to
find the DTB bootinfo section and hence try to print the error message.
1 file changed
tree: dfdc59cfc459b0a2872edaad120a76552dc569d6
  1. libsel4allocman/
  2. libsel4bench/
  3. libsel4debug/
  4. libsel4muslcsys/
  5. libsel4platsupport/
  6. libsel4serialserver/
  7. libsel4simple/
  8. libsel4simple-default/
  9. libsel4sync/
  10. libsel4test/
  11. libsel4utils/
  12. libsel4vka/
  13. libsel4vmm/
  14. libsel4vspace/
  15. .gitignore
  16. .licenseignore
  17. CMakeLists.txt
  18. LICENSE.txt
  19. README.md
README.md

seL4 Libraries

A collection of libraries for working on seL4.

  • libsel4allocman: an allocator for managing virtual memory, malloc memory and cspaces.
  • libsel4bench: a library with utilities for benchmarking on seL4.
  • libsel4debug: a library with utilities for debugging on seL4. Only useful when debugging a userlevel app; potentially hacky.
  • libsel4muslcsys: a library to support muslc for the root task.
  • libsel4platsupport: a wrapper around libplatsupport specificially for seL4.
  • libsel4simple: an interface which abstracts over the boot environment of a seL4 application.
  • libsel4simple-default: an implementation of simple for the master branch of the kernel.
  • libsel4simple-experimental: an implementatoin of simple for the experimental branch of the kernel.
  • libsel4sync: a synchronisation library that uses notifications to construct basic locks.
  • libsel4test: a very basic test infrastructure library.
  • libsel4utils: a library OS - Commonly used stuff, actively maintained: implements threads, processes, elf loading, virtual memory management etc.
  • libsel4vka: an allocation interface for seL4.
  • libsel4vspace: a virtual memory management interface for seL4.

License

The files in this repository are release under standard open source licenses. Please see individual file headers and the LICENSE_BSD2.txt file for details.