search

oxidecomputer / hubris

A lightweight, memory-protected, message-passing kernel for deeply embedded systems.
Mozilla Public License 2.0
3.02k stars 175 forks source link

Add updated bootleby #1827

Closed labbott closed 4 months ago

labbott commented 4 months ago

This brings bootleby up to v1.3.0

flihp commented 4 months ago

The merge commit here should probably be rebased away too

labbott commented 4 months ago

What's the relationship between these zip files and the existing bootleby bin files next to them? Like https://github.com/oxidecomputer/hubris/blob/99b7a384a7616831e1030c744603a008956bf9bd/app/oxide-rot-1/bootleby-oxide-rot-1-1.0.0.bartholomew.bin

That's a single binary suitable for writing directly to memory (e.g. lpc55_flash write-memory 0x0). I don't think we've kept that up to date. I can just remove it since if you really want the single binary you can grab the bootleby bundle and unzip.

flihp commented 4 months ago

Thanks for pulling those old bootleby images. Keeping those around is just inviting confusion.