*** toscalix has joined #trustable | 04:50 | |
*** toscalix has quit IRC | 05:22 | |
*** paulwaters_ has joined #trustable | 06:27 | |
*** noisecell has joined #trustable | 06:35 | |
*** willbarnard has joined #trustable | 07:47 | |
*** weyfonk has joined #trustable | 07:57 | |
*** noisecell has quit IRC | 08:30 | |
*** toscalix has joined #trustable | 08:37 | |
*** toscalix has quit IRC | 08:44 | |
*** toscalix has joined #trustable | 08:46 | |
*** toscalix has quit IRC | 08:51 | |
*** willbarnard has quit IRC | 08:51 | |
*** toscalix has joined #trustable | 08:53 | |
*** willbarnard has joined #trustable | 08:54 | |
*** willbarnard has quit IRC | 09:11 | |
*** noisecell has joined #trustable | 09:24 | |
*** willbarnard has joined #trustable | 09:25 | |
flatmush | STANDUP! Order: flatmush, noisecell, willbarnard | 09:46 |
---|---|---|
flatmush | ## Ben Brewer (flatmush) | 09:46 |
flatmush | * Done | 09:46 |
flatmush | - Further discussions about project | 09:46 |
flatmush | - More reading on buildstream | 09:46 |
flatmush | - Built minimal x86 system using definitions and bst, ran in qemu | 09:46 |
flatmush | * Doing | 09:46 |
flatmush | - Working through what fran has been doing on Aarch64 | 09:46 |
flatmush | - Reading up on previous attempts to SIL certify "normal" OS's | 09:46 |
flatmush | - http://crpit.com/confpapers/CRPITV133Connelly.pdf | 09:46 |
flatmush | - https://www.osadl.org/fileadmin/dam/presentations/61508/61508_paper.pdf | 09:46 |
flatmush | ## Francisco Redondo Marchena (noisecell) | 09:46 |
noisecell | * Done | 09:46 |
noisecell | - Investigate aarch64 bootstrap using buildstream | 09:46 |
noisecell | - base.bst in stage3 is the x86_64 rootfs which doesn't belong to | 09:46 |
noisecell | a aarch64 build, though. | 09:46 |
noisecell | - Removing base.bst when building stage3 makes the build move forward | 09:46 |
noisecell | but still failing | 09:47 |
noisecell | * Doing | 09:47 |
noisecell | - Investigate aarch64 bootstrap using buildstream | 09:47 |
noisecell | - Building stage3 inside of the croosboostrap stage2 | 09:47 |
noisecell | - Fix issues with the build and check what is the output | 09:47 |
noisecell | ## Will Barnard (willbarnard) | 09:47 |
noisecell | flatmush, should we carry on? Will could paste his notes in the wiki | 09:49 |
flatmush | we will await will, and berate him for his lack of respect for process | 09:50 |
noisecell | ## Discusion | 09:53 |
flatmush | incorrect | 09:53 |
paulwaters_ | I've pinged willbarnard, he can ad notes later | 09:56 |
willbarnard | * Doing | 09:56 |
willbarnard | * Initiating discussions with accredited certification organizations | 09:56 |
willbarnard | * Next | 09:56 |
willbarnard | * Attend functional safety seminar on Friday | 09:56 |
paulwaters_ | ta willbarnard - back to ## Discussion - anything to discuss? | 09:59 |
willbarnard | _o_ | 10:01 |
flatmush | ## Discussion | 10:03 |
flatmush | please can everyone stop messing up my beautiful standup! | 10:03 |
flatmush | anything else to raise? | 10:03 |
noisecell | nothing from me | 10:03 |
paulwaters_ | nothing from me | 10:03 |
flatmush | STANDUP ENDS! | 10:03 |
noisecell | ta flatmush | 10:03 |
paulwaters_ | ta flatmush | 10:03 |
noisecell | paulwaters_, have you set up a bot to repeat exactly what I say just a milisecond after I write it in the channel? | 10:04 |
paulwaters_ | I almost did a cut and paste of that then | 10:05 |
noisecell | hah! | 10:05 |
flatmush | hah! | 10:07 |
*** toscalix has quit IRC | 11:15 | |
*** laurence- is now known as ltu | 11:42 | |
*** noisecell has quit IRC | 12:26 | |
*** toscalix has joined #trustable | 13:16 | |
flatmush | "Although this should be clear, we will explicitly state here that proven-in-use for Linux,only based on ”operational evidence” will not suffice to argue SIL1 or higher. The proven-in-use argument based only on operational hours and 10 use-cases (61508-2) are,in our opinion, quite clearly aimed at low-complexity hardware and not at a highly configurable and variable software as versatile as the Linux kernel." | 13:17 |
flatmush | https://www.osadl.org/fileadmin/dam/presentations/61508/61508_paper.pdf | 13:17 |
flatmush | I guess that's something to look into in the standards willbarnard? | 13:18 |
*** toscalix has quit IRC | 13:21 | |
paulsherwood | flatmush: while that and other OSADL papers are interesting, I'm not sure we can rely on any of their assertions | 13:29 |
paulsherwood | in any case we need to get to our own defensible arguments, logic, tests and evidence | 13:30 |
*** toscalix has joined #trustable | 13:31 | |
flatmush | no, but I guess we should check their assertions | 13:44 |
*** toscalix_ has joined #trustable | 14:03 | |
paulsherwood | yes, i expect we'll learn something from that :) | 14:04 |
*** toscalix has quit IRC | 14:07 | |
*** toscalix_ has quit IRC | 14:34 | |
*** toscalix_ has joined #trustable | 14:34 | |
*** willbarnard has quit IRC | 14:45 | |
*** toscalix_ has quit IRC | 14:45 | |
*** willbarnard has joined #trustable | 14:50 | |
*** toscalix_ has joined #trustable | 14:57 | |
*** willbarnard has quit IRC | 15:07 | |
*** willbarnard has joined #trustable | 15:08 | |
*** willbarnard has quit IRC | 15:57 | |
*** weyfonk has quit IRC | 16:06 | |
*** paulwaters_ has quit IRC | 16:18 | |
*** toscalix_ has quit IRC | 16:22 |
Generated by irclog2html.py 2.15.3 by Marius Gedminas - find it at mg.pov.lt!