Hi Tim,

Thanks for the patches. They all looked good except for the kernel patch, which I just reworded the commit message on to be a little clearer and not talk about refOS. Hope you can get to the bottom of the hang!

Adrian

On 03/03/15 09:56, Tim Newsham wrote:
Attached are some patches for am335x support.  I've started to
play with refos, and can build it for am335x and run some of the
startup (with release mode) but it hangs at some point.. still a
work in progress.  Also there's a few minor proofread tweaks on
the refos doc.

By the way, sel4test runs pretty well now in debug and release modes.
Instructions are pretty straightforward:
- build the project using the debug or release config
- use objcopy to extract a raw binary from the ELF image
- load the binary with uboot (I use "tftp", it defaults to the proper
load address)
- run it in uboot with "go 82000000"

Tim



_______________________________________________
Devel mailing list
Devel@sel4.systems
https://sel4.systems/lists/listinfo/devel



The information in this e-mail may be confidential and subject to legal professional privilege and/or copyright. National ICT Australia Limited accepts no liability for any damage caused by this email or its attachments.