We are looking at using this one: https://github.com/SRI-CSL/l3riscv
I haven't reviewed it yet, it might not contain much of privileged mode yet. Cheers, Gerwin On 14 Mar 2018, at 12:14, George Hansel <[email protected]<mailto:[email protected]>> wrote: Are there any formal models of the ISA currently, or planned? I'd be interested in working on one if so - currently mulling what it would take to port seL4 to privileged-RISC, with the new availability of silicon that implements some portion of its draft. On Thu, Mar 8, 2018 at 7:29 AM, Matthew Wilson <[email protected]<mailto:[email protected]>> wrote: I'm also extremely happy to hear this.. Looking forward to reasonable (or at least effable) specs! On Wed, Mar 7, 2018 at 11:47 PM, Corey Richardson <[email protected]<mailto:[email protected]>> wrote: I'm so happy to hear this! On Thu, Mar 8, 2018, at 00:18, [email protected]<mailto:[email protected]> wrote: > Yes, RISC-V specs are high on my priorities. I’ll actually participate > in some of the working groups. > > Gernot > > > On 8 Mar 2018, at 05:00, Kelly Dean > > <[email protected]<mailto:[email protected]>> wrote: > > > > The RISC-V privileged ISA is not yet finalized. Have the seL4 developers > > reviewed the draft [1], in case they might have any recommendations for > > improvement? > > > > For example, just last year a blunder (H-mode) was removed from the draft > > per a proposal [2] on the mailing list. > > > > Finalization is planned for this year. Speak now or forever hold your peace. > > > > The first public draft of the memory consistency model [3] was also > > released just last December. > > > > And platform standardization, especially the IOMMU, is in progress. > > > > [1] > > https://content.riscv.org/wp-content/uploads/2017/05/riscv-privileged-v1.10.pdf > > [2] > > https://groups.google.com/a/groups.riscv.org/forum/#!msg/isa-dev/SfEDPLU0NU4/WpAE_A4OBQAJ > > [3] > > https://groups.google.com/a/groups.riscv.org/forum/#!topic/isa-dev/hKywNHBkAXM > > > > _______________________________________________ > > Devel mailing list > > [email protected]<mailto:[email protected]> > > https://sel4.systems/lists/listinfo/devel > _______________________________________________ > Devel mailing list > [email protected]<mailto:[email protected]> > https://sel4.systems/lists/listinfo/devel -- cmr http://octayn.net/ +16038524272<tel:%2B16038524272> _______________________________________________ Devel mailing list [email protected]<mailto:[email protected]> https://sel4.systems/lists/listinfo/devel -- Sent by an Internet _______________________________________________ Devel mailing list [email protected]<mailto:[email protected]> https://sel4.systems/lists/listinfo/devel _______________________________________________ Devel mailing list [email protected]<mailto:[email protected]> https://sel4.systems/lists/listinfo/devel
_______________________________________________ Devel mailing list [email protected] https://sel4.systems/lists/listinfo/devel
