~/talks

Alistair Francis

what they talk about

all 6 in the filters

where they keep going back

all 7 in the filters

on a stage with

who talks about the same things

titleconferencedate
Writing an Embedded Operating System in RustEmbedded IoT Summit @ Open Source Summit Europe 20222022-09-13
Claims a complete embedded OS written in Rust called Tock OS runs on ARM Cortex-M and RISC‑V hardware, uses Rust safety for untrusted code and RISC‑V PMP / ARM…
Talk on
Mainlining the reMarkable 2 eInk tabletFOSDEM 20222022-02-05
The reMarkable 2 is an eInk tablet, based on the i.MX7 SoC. The tablet ships with a fork of the 4.14 kernel and a custom rootFS built with OpenEmbedded. The…
Talk on
Using PMP, ePMP and Rust to Protect Embedded Kernels, Even from ThemselvesRISC-V Forum: Security 20212021-04-14
Demonstrates that Tock OS uses RISC-V PMP write-xor-execute to mark kernel stack/data non-executable and kernel text read-only, and that ePMP default-deny adds…
Talk on
Open ISAs (RISC-V, OpenPOWER, etc)linux.conf.au 20212021-01-23
RISC-V and OpenPOWER move from experiments to deployable stacks: RISC-V toolchains and distros (GCC/LLVM, glibc, Debian/Fedora) now boot on QEMU and silicon…
Talk on
Where Is the 32-Bit Glibc Port?RISC-V Global Forum 20202020-09-03
Upstream glibc is adding 64-bit time_t on RV32, making RISC‑V the first 32‑bit architecture with y2038 safety, but it only works with requires Linux 5.4+…
Talk on
RISC-V 32-bit glibc portlinux.conf.au 20202020-01-13
Adds 64-bit time_t on RV32 so RISC‑V 32‑bit can avoid the 2038 overflow, implements the new 5.1+ year‑2038‑safe syscalls and reworks glibc syscall wrappers…
Talk on
OpenISA Miniconf Introductionlinux.conf.au 20202020-01-13
High-level orientation to two open ISAs with concrete details: RISC‑V is a small base ISA plus modular extensions (M, A, F, D, G, C) and Linux typically…
Talk on
RISC V Hypervisor SupportRISC-V Summit 20192019-12-09
RISC-V hypervisor support is at v0.5 draft with QEMU patches adding 32- and 64-bit hypervisor/guest paths; the design uses a two-stage MMU and new H/VS CSRs so…
Talk on
Developing the RISC-V Hypervisor Extensions in QEMUOpen Source Summit Europe + Embedded Linux Conference Europe 20192019-10-28
QEMU gains working support for the RISC-V hypervisor extension: full CSR handling including complex register swapping, RISC-V hypervisor CSRs and guest-visible…
Talk on
~/search
type to search 6,249 conferences, 138,987 speakers and 185,172 talks
~/help
cmdctrl k
search every conference, speaker and series
/
focus the filter search
h
home
c
conferences
s
speakers
e
series
t
light / dark — the status bar button does the same
?
this help
esc
close this, then clear every filter — or just the search, while you are typing in it

Ignored while you are typing. Pages without a filter rail have no search to focus.