secc
/
seL4_libs
mirror of https://github.com/seL4/seL4_libs.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity
seL4_libs/libsel4muslcsys
History
Kent McLeod 06527c27c7 libsel4muslcsys: Return error if 0 len requested 
mmap is expected to return an error if a length of 0 is ever requested.

The caller is likely doing something wrong if a 0 length is requested
and it leads for hard to find bugs if we just return the current address
of the end of available memory.

Signed-off-by: Kent McLeod <1759184+kent-mcleod@users.noreply.github.com>
 		2025-03-05 14:09:07 +11:00
..
include libsel4muslcsys: use const for CPIO data 2022-04-26 11:59:11 +02:00
src libsel4muslcsys: Return error if 0 len requested 2025-03-05 14:09:07 +11:00
CMakeLists.txt libsel4muslcsys: Increase max syscall count 2025-02-28 12:33:23 +11:00
README convert to SPDX license headers 2021-02-10 19:30:35 +11:00

README 

<!--
     Copyright 2017, Data61, CSIRO (ABN 41 687 119 230)

     SPDX-License-Identifier: BSD-2-Clause
-->

Minimal muslc syscall implementation for seL4.