Home
last modified time | relevance | path

Searched full:system (Results 1 – 25 of 46) sorted by relevance

12

/FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/
Dmake_proof_makefiles.py150 def dump_makefile(dyr, system): argument
169 new_value.append(compute(item, so_far, system, name, dyr, True))
172 makefile[name] = compute(value, so_far, system, name, dyr)
183 common_dir_path = "..%s" % _platform_choices[system]["path-sep"]
191 include=_platform_choices[system]["makefile-inc"],
195 def compute(value, so_far, system, key, harness, appending=False): argument
218 tmp = re.sub("/", _platform_choices[system]["path-sep-re"], tmp)
228 final_value = "%s%s" % (_platform_choices[system]["define"],
231 final_value = "%s%s" % (_platform_choices[system]["include"],
363 "flags": ["-s", "--system"],
[all …]
Dmake_common_makefile.py36 # Operating system specific values
98 "--system",
102 help="Generate makefiles for operating system OS"
109 # JSON files give variable definitions for common, operating system,
240 if args.system == "windows"
244 makefile_from_template(args.system,
Dninja.py9 system.
32 system.
35 The file system, all folders folders under the current directory
191 if platform.system().lower() == 'windows':
Dmake_cbmc_batch_files.py40 if platform.system() == "Windows":
DMakefile.template21 # makefile for the operating system
/FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/
DREADME.md5 of the FreeRTOS codebase. A continuous integration system validates every
20 and CTest. Others use a custom python-based build system. New proofs
111 versa), you can pass the `--system linux` or `--system windows` options to those
/FreeRTOS-Plus-TCP-v4.0.0/tools/
DCMakeLists.txt14 # Note: Have to make system due to compiler warnings in header files.
15 target_include_directories( freertos_plus_tcp_utilities SYSTEM
/FreeRTOS-Plus-TCP-v4.0.0/source/
DCMakeLists.txt92 # Note: Have to make system due to compiler warnings in header files.
93 target_include_directories( freertos_plus_tcp SYSTEM
DFreeRTOS_IPv6.c58 * This variable is initialized by the system to contain the wildcard IPv6 address.
63 * This variable is initialized by the system to contain the loopback IPv6 address.
241 * This variable is initialized by the system to contain the unspecified IPv6 address.
368 …/* This variable is initialized by the system to contain the IPv6 multicast address for all nodes.… in xCompareIPv6_Address()
DFreeRTOS_DNS_Networking.c30 * @brief Implements the Domain Name System Networking
/FreeRTOS-Plus-TCP-v4.0.0/
DCMakeLists.txt75 # Attempt to detect the system.
77 message(STATUS "Detected UNIX/Posix system setting FREERTOS_PLUS_TCP_NETWORK_IF = POSIX")
80 … message(STATUS "Detected Windows MinGW system setting FREERTOS_PLUS_TCP_NETWORK_IF = WIN_PCAP")
244 # To ignore header specific issues - change all of the headers to SYSTEM
/FreeRTOS-Plus-TCP-v4.0.0/source/portable/NetworkInterface/pic32mzef/
DNetworkInterface_wifi.c46 #include "system/console/sys_console.h"
47 #include "system/debug/sys_debug.h"
48 #include "system/command/sys_command.h"
/FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/ConfigFiles/
DFreeRTOS_errno_TCP.h43 #define pdFREERTOS_ERRNO_EINTR 4 /* Interrupted system call */
61 #define pdFREERTOS_ERRNO_EROFS 30 /* Read only file system */
/FreeRTOS-Plus-TCP-v4.0.0/source/include/
DFreeRTOS_errno_TCP.h43 #define pdFREERTOS_ERRNO_EINTR 4 /* Interrupted system call */
61 #define pdFREERTOS_ERRNO_EROFS 30 /* Read only file system */
DFreeRTOS_TCP_Transmission.h106 * Initialise the data structures which keep track of the TCP windowing system.
127 * this data to the windowing system to it can be transmitted.
/FreeRTOS-Plus-TCP-v4.0.0/cmake_modules/
DFindPCAP.cmake16 # PCAP_FOUND System has libpcap, include and library dirs found
/FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_TCP_Transmission_IPv6/
DFreeRTOS_TCP_Transmission_IPv6_stubs.c75 * Initialise the data structures which keep track of the TCP windowing system.
/FreeRTOS-Plus-TCP-v4.0.0/tools/tcp_utilities/
Dtcp_dump_packets.md3 It is written to be added to the "pc" project ( Windows simulator ). It uses the file system to wri…
/FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/
DTCPFilePaths.cmake3 # in their Cmake based build system by including this file.
DREADME.md53 ctest -E system --output-on-failure
/FreeRTOS-Plus-TCP-v4.0.0/source/portable/NetworkInterface/STM32Fxx/
Dreadme.md103 Having well aligned buffers is important for CPU with memory cache. Often the caching system divide…
/FreeRTOS-Plus-TCP-v4.0.0/.github/workflows/
Drelease.yml89 ctest -E system --output-on-failure
Dci.yml31 ctest -E system --output-on-failure
/FreeRTOS-Plus-TCP-v4.0.0/source/portable/BufferManagement/
DBufferAllocation_2.c98 * to the system. All the network buffers referenced from xFreeBuffersList exist in xNetworkBuffersInitialise()
100 * when the xFreeBuffersList is filled (as all the buffers are free when the system in xNetworkBuffersInitialise()
/FreeRTOS-Plus-TCP-v4.0.0/test/Coverity/ConfigFiles/
Dportmacro.h109 …onfigMAX_PRIORITIES is less than or equal to 32. It is very rare that a system requires more than…

12