FreeRTOS-Cellular-Interface
FreeRTOS-Cellular-Interface copied to clipboard
FreeRTOS Cellular Interface implementation of the 3GPP TS v27.007 standard.
Hi, I wonder the system would be locked or not work properly if PlatformMutex_Lock API cannot get Mutex or happened the timeout of Mutex. https://github.com/FreeRTOS/FreeRTOS-Cellular-Interface/blob/ccbd0fcce06fcb7b842bed61f207523c8f271fcb/source/cellular_common_api.c#L211 PlatformMutex_Lock( &pContext->PktRespMutex ); // It...
It would be useful to offer a secure Secure Sockets Transport Implementation. Quetel, UBlox and Sierra Wireless support TLS sockets, thereby allowing the use of certificates stored within the modem...
The `cellular_comm_interface`, which handles low level transfers between the modem and the cellular library, has provisions to report errors on receive / transmit (ie. caused by buffer overruns, etc.) However,...
Description ----------- This will make proofs use the latest stable release of CBMC (and cbmc-viewer). Test Steps ----------- Tested in CI Checklist: ---------- - [ ] I have tested my...
Description ----------- With CBMC v6, unwinding assertions are enabled by default, and object bits no longer need to be set at compile time. Update various build rules to use the...
Hi there, I started to port the driver to ME310G1 modem inspired from SARA-R4 driver. Connexion is now working and I'm currently porting the socket layer. I'm facing the lib...
Even if this is definitely not the current technical trend, I think it might be useful to expose SMS-related commands at the API. I can see an interest as fallback...