Thanks, merged to staging at f30d87bf34f2..a759dfde3f64 (from, to] You can see the entire diff with 'git diff' or at https://github.com/brho/akaros/compare/f30d87bf34f2...a759dfde3f64
On 2015-11-09 at 18:34 "'Davide Libenzi' via Akaros" <[email protected]> wrote: > https://github.com/brho/akaros/compare/master...dlibenzi:label_init > > > The following changes since commit > 1165c2bda44b7f1fb3b776c0dc5b0fb4dd499961: > > Add networking unit tests (2015-11-03 12:00:38 -0500) > > are available in the git repository at: > > [email protected]:dlibenzi/akaros label_init > > for you to fetch changes up to > 73f6d48c049b5ebe93755389e475e162b3974cae: > > Migrated position dependent initialization, to label based > (2015-11-09 18:31:47 -0800) > > ---------------------------------------------------------------- > Davide Libenzi (1): > Migrated position dependent initialization, to label based > > kern/arch/x86/devarch.c | 34 +++++++++++++++++----------------- > kern/drivers/dev/acpi.c | 34 +++++++++++++++++----------------- > kern/drivers/dev/alarm.c | 37 ++++++++++++++++++------------------- > kern/drivers/dev/cons.c | 38 > +++++++++++++++++++------------------- kern/drivers/dev/ether.c | > 38 +++++++++++++++++++------------------- kern/drivers/dev/kprof.c > | 34 +++++++++++++++++----------------- kern/drivers/dev/mnt.c | > 38 +++++++++++++++++++------------------- kern/drivers/dev/nix.c > | 40 ++++++++++++++++++++-------------------- > kern/drivers/dev/pci.c | 32 ++++++++++++++++---------------- > kern/drivers/dev/pipe.c | 38 > +++++++++++++++++++------------------- kern/drivers/dev/proc.c | > 38 +++++++++++++++++++------------------- kern/drivers/dev/regress.c > | 34 +++++++++++++++++----------------- kern/drivers/dev/root.c | > 36 ++++++++++++++++++------------------ kern/drivers/dev/srv.c | > 36 ++++++++++++++++++------------------ 14 files changed, 253 > insertions(+), 254 deletions(-) > -- You received this message because you are subscribed to the Google Groups "Akaros" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To post to this group, send email to [email protected]. For more options, visit https://groups.google.com/d/optout.
