Thank you, Adrian. Currently I'm still trying to find a way to make sel4 run on bb black, I don't want to waste my $42, LOL.
My problem is the broken code in dm.c seems easy to fix but I've no idea about the missing header clock.h in stage/arm/am335x/include/platsupport/plat, which is included in stage/arm/am335x/include/platsupport/clock.h . And what board do you use right now? Currently I get some spare money, I'd like to hear your advice. Thanks very much. Best regards, Kun Cheng 2015-02-06 7:09 GMT+08:00 Adrian Danis <[email protected]>: > Hi Kun, > > Beaglebone was a platform that has been used internally in the past, > which is why you have found several bits of code laying around for it. > However we stopped using it some time ago, which is why we did not put > it on the list of supported architectures http://sel4.systems/FAQ/#hw, > and so it is of no surprise that the code is broken. The build errors > look like various refactors and other changes that were probably blindly > applied to the platform, but never actually compiled or run. > > Unfortunately this is not a platform we have time to actively work on > and keep up to date. If you are able to get it compiling and running > then we would gladly accept the changes. > > Adrian > > > On 04/02/15 14:03, Kun Cheng wrote: >> >> Hi guys, >> >> I happened to find out that beaglebone was listed in the menuconfig. >> After that I immediately bought a Beaglebone black (Yeah I know >> beaglebone is different from bb black, but it might succeed. LOL.) and >> tried to build a image for my bb black . But I found code errors >> during compilation. >> >> I use arm-none-eabi tool chains and the gcc version is 4.8. >> >> Errors occurred in >> >> sel4test/libs/libplatsupport/src/clock.c which includes >> platsupport/plat/clock.h but it doesn't exist >> >> sel4test/libs/libplatsupport/src/plat/am335x/dm.c has several coding >> mistakes, like: >> >> in function dm_stop_timer() the 'timer' is undeclared >> in function dm_periodic() dm is undeclared >> in function dm_get_timer() >> timer->properties.upcounter = false; but 'false' is undeclared >> timer->properties.bitwidth = 32; should probably be >> timer->properties.bit_width = 32; >> >> and timer->start = dm_timer_start; >> timer->stop = dm_timer_stop; >> should probably be: >> timer->start = dm_start_timer; >> timer->stop = dm_stop_timer; >> >> also I got a redundant redeclaration of 'ki_end' in >> sel4test/kernel/src/plat/am335x/machine/hardware.c >> >> which the compiler thought the previous declaration of ki_end was in : >> sel4test/kernel/src/arch/arm/kernel/boot.c >> >> So I am just wandering if beaglebone support is still under >> development? If any of you run sel4 successfully on beaglebone black, >> please give me some instructions. Currently I removed building >> platform independent libraries from menuconfig and the compilation >> went well. But I don't think it's a good idea. >> >> And I also find the cross tool chains which is recommend for Debian >> Wheezy on the http://sel4.systems/Download/DebianToolChain.pml seems >> to be not working well for compiling beagle configs. I got cc1 options >> error during compiling which is due to that some of the options are >> supported by gcc 4.5 or later while the recommended one is based on >> gcc 4.4. >> >> >> >> Best regards, >> >> Kun Cheng >> >> _______________________________________________ >> Devel mailing list >> [email protected] >> 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. _______________________________________________ Devel mailing list [email protected] https://sel4.systems/lists/listinfo/devel
