Skip to content

Pull requests: FreeRTOS/FreeRTOS

New pull request New
11 Open 1,191 Closed
11 Open 1,191 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Reviews
Filter by reviews
No reviews Review required Approved review Changes requested
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Pull requests list

change(freertos/smp/granular_locks): Updated prvYieldCore() coverage tests
#1292 opened Nov 1, 2024 by sudeep-mohanty Loading…
1 task done
8
Adjust proof tooling to support CBMC v6
#1255 opened Aug 23, 2024 by tautschnig • Draft
1 task
Remove redundant portGET_CORE_ID calls in SMP unit test
#1235 opened Jul 8, 2024 by chinglee-iot Loading…
2 tasks done
Add new Configuration to HTTP Demos to use Libslirp
#1055 opened Jul 27, 2023 by ChaiTowKway Loading…
1 of 2 tasks
1
fix: wrap logging buffer writes in critical section in Windows logging implementation
#1039 opened Jul 17, 2023 by ydhuang28 Loading…
2 tasks done
3
Add MQTT Mutual Auth on QEMU demo
#936 opened Feb 23, 2023 by ydhuang28 Loading…
1 of 2 tasks
20
Add VeriFast thread safety proof for context switches in SMP port
#908 opened Jan 5, 2023 by tobireinhard • Draft
Normalize line endings to LF
#882 opened Nov 29, 2022 by paulbartell • Draft
Demo: Cortex m4 mpu mps2 with qemu
#868 opened Nov 3, 2022 by alfred2g Loading…
18
Run VeriFast proofs in CI
#845 opened Sep 1, 2022 by karkhaz Loading…
@nchong-at-aws
5
Create CloudFormation template for Fleet Provisioning demo setup
#767 opened Jan 5, 2022 by johnrhen • Draft
6
ProTip! Follow long discussions with comments:>50.