Loading…
September 27-30, 2021
Seattle, Washington, USA + Virtual
View More Details & Registration

The Sched app allows you to build your schedule but is not a substitute for your event registration. You must be registered for Open Source Summit + Embedded Linux Conference + OSPOCon 2021 to participate in the sessions. If you have not registered but would like to join us, please go to the event registration page to purchase a registration.

This schedule is automatically displayed in Pacific Daylight Time (UTC -7). To see the schedule in your preferred timezone, please select from the drop-down menu to the right, above "Filter by Date." The schedule is subject to change.

IMPORTANT NOTE: Timing of sessions and room locations are subject to change.

Back To Schedule
Monday, September 27 • 4:50pm - 5:40pm
(VIRTUAL) Picolibc: A C Library for Smaller Systems - Keith Packard, Amazon

Sign up or log in to save this to your schedule, view media, leave feedback and see who's attending!

Feedback form is now closed.
Smaller computing systems have special needs from the development environment. Limited space and limited processing capability mean that the tooling needs to offer a range of functionality that can be tailored to the target system while allowing mechanisms for leaving unnecessary functionality out of the environment entirely. One area that, surprisingly, hasn't seen much work in the free software world is the C run-time library for 32- and 64- bit microcontrollers. There are C libraries for 8-bit systems, such as Atmel's ATmega series, but ARM and RISC-V embedded systems haven't had a project designed just for them. Picolibc hopes to fill this niche; targeting bare-metal and RTOS systems for 32- and 64- bit processors. This presentation will describe a couple of key features in Picolibc, a stdio implementation that implements precise floating point printf/scanf without using malloc, testing infrastructure validating hundreds of embedded system configurations using QEMU and formal verification effort from the CompCert project at INRIA. Finally, I'll discuss experiences in adding support for Picolibc to numerous free software projects, including FreeRTOS, Zephyr, Crosstool-NG, GCC, QEMU and RIOT.

Speakers
avatar for Keith Packard

Keith Packard

Senior Principal Engineer, Amazon
Keith Packard has been developing free software since 1986, working on the X Window System, Linux, amateur rocketry and educational robotics. He is currently a senior principal engineer with the Amazon Device OS group working on system software, including Linux, FreeRTOS and Picolibc... Read More →



Monday September 27, 2021 4:50pm - 5:40pm PDT
MeetingPlay Platform + Virtual Learning Lab