Skip to content
Snippets Groups Projects
This project is mirrored from https://github.com/seL4/seL4.git. Pull mirroring failed .
Repository mirroring has been paused due to too many failed attempts. It can be resumed by a project maintainer or owner.
Last successful update .
  1. Jan 16, 2024
  2. Jan 13, 2024
  3. Jan 12, 2024
  4. Jan 02, 2024
  5. Dec 28, 2023
  6. Dec 12, 2023
  7. Dec 06, 2023
  8. Nov 29, 2023
  9. Nov 27, 2023
  10. Nov 24, 2023
  11. Nov 23, 2023
  12. Nov 16, 2023
  13. Nov 15, 2023
  14. Nov 10, 2023
  15. Nov 08, 2023
  16. Nov 07, 2023
    • Gerwin Klein's avatar
      manual: group invocations by MCS/non-MCS · d8f4a95b
      Gerwin Klein authored
      
      Put MCS-only invocations into their own groups and files. This solves
      the problem that doxygen gets confused by duplicate function names with
      the same parameters.
      
      MCS/non-MCS is distinguished by evaluating the <condition> field in the
      API XML definition. If the condition evaluates to true when
      CONFIG_KERNEL_MCS is set, it is an MCS-only method, otherwise it is
      assumed to be non-MCS or present in both configs.
      
      Fixes #558
      
      Signed-off-by: default avatarGerwin Klein <gerwin.klein@proofcraft.systems>
      d8f4a95b
    • Gerwin Klein's avatar
      sel4.xml: mark Set Space as MCS in the manual · 355f9abc
      Gerwin Klein authored
      
      Disambiguate (for the reader) between normal and mcs versions of
      SetSpace in the manual. This does not yet solve doxygen confusion.
      
      Signed-off-by: default avatarGerwin Klein <gerwin.klein@proofcraft.systems>
      355f9abc
    • Gerwin Klein's avatar
      manual: remove obsolete doxygen settings · beb2c0d1
      Gerwin Klein authored
      
      HTML_TIMESTAMP and LATEX_TIMESTAMP have been removed in more recent
      doxygen versions. Since we are using the defaults, they are safe to
      remove in our config file.
      
      Signed-off-by: default avatarGerwin Klein <gerwin.klein@proofcraft.systems>
      beb2c0d1
    • Gerwin Klein's avatar
      manual: handle name duplication between groups · 9956101b
      Gerwin Klein authored
      
      Different API groups may contain the same function name, for instance
      IRQ_Control GetTrigger for RISC-V vs the same for ARM. Duplicate
      function names with identical parameter lists confuse doxygen, leading
      it to generate a single merged xml entry for both, which means one of
      the entires will be missing and the other will be potentially wrong.
      
      When the functions are placed in different files and different groups
      at the same time, doxygen no longer is confused in all cases.
      
      Therefore:
      
      - generate a separate file for each API group
      - generate a separate file group_defs.h that contains group definitions
        and declares group nesting
      
      Unfortunately, this does not seem to always work (e.g. the toplevel
      MCS/non-MCS syscalls), so manual inspection is still necessary when
      adding new calls and separate doxygen runs for duplicate function names
      may be necessary. Generating separate files as above enables this
      option, should it become necessary in the future.
      
      Fixes #530
      
      Signed-off-by: default avatarGerwin Klein <gerwin.klein@proofcraft.systems>
      9956101b
    • Gerwin Klein's avatar
      1de89ba1
Loading