From: Ahmad Fatoum <a.fatoum@pengutronix.de>
To: Marcelo Politzer <marcelo.politzer@cartesi.io>
Cc: barebox@lists.infradead.org
Subject: Re: New RISCV board (cartesi-machine)
Date: Wed, 15 Sep 2021 23:58:57 +0200 [thread overview]
Message-ID: <38f21108-d380-d299-e9cd-311b2ef4c3c8@pengutronix.de> (raw)
In-Reply-To: <CA+cd6D6pqMn=DhjPgDGske9u+t3P1zSS0PvK5L2TdAtRfi8FTw@mail.gmail.com>
Hello Marcelo,
On 15.09.21 23:43, Marcelo Politzer wrote:
> On Wed, Sep 15, 2021 at 6:17 PM Ahmad Fatoum <a.fatoum@pengutronix.de> wrote:
>>
>> Hello Marcelo,
>>
>> On 15.09.21 22:30, Marcelo Politzer wrote:
>>> Hi, I'm new to barebox
>>>
>>> I'm currently porting barebox to a riscv board (cartesi-machine).
>>
>> Oh, looks interesting! What SoC does it use?
>
> It uses SOC_VIRT. It is an emulator to be precise, we use it for
> verifiable computations.
> It is pretty easy to try it out (there is a docker image for it):
> https://www.cartesi.io/en/docs/machine/host/overview/
Thanks, will check it out.
>>> I got it mostly working:
>>> - new serial: serial_sbi.c and
>>
>> Keep in mind that newer SBI versions deprecate
>> sbi_console_getchar() and sbi_console_putchar() with no replacement.
>>
>> But if your board's firmware provides it, there is no issue with
>> adding a driver for it.
>
> That is what the emulator implements for now.
> I have to admit that a virtio system would be cool, maybe in the future.
Like this? :-)
https://www.barebox.org/jsbarebox/
>>> - ext4 filesystem with mtdram
>>>
>>> 1) What I am still trying to figure out is how to customize `env` correctly.
>>> I got it to build and appear based on the docs [1], [2],
>>
>> Those look ok. I assume you have
>>
>> defaultenv_append_directory(defaultenv_cartesi); in your board code?
>
> yes
>
>>
>>> however the only way I found around [3] was to replace `bin/init` with
>>> this[4] layout.
>>
>> After drivers probe, barebox invokes init to source init scripts and
>> do the countdown and such. This is written in C, but you can override
>> it with an /env/bin/init shell script, which is what you did here.
>>
>> I would not recommend this. Drop /env/bin/init and use the same C init
>> nearly everyone else does. You can still customize it via the
>> /env/init/ scripts
>>
>>> Is there a recommended way to go about this?
>>
>> You need to set boot.default, e.g.
>>
>> echo 'cartesi net' > defaultenv-cartesi/nv/boot.default
>>
>> Which would try cartesi first and then net if the first one failed.
>
> That worked great.
> Looks a lot cleaner now.
>
>>
>>> 2) I also would like clarification on the upstreaming process, is it
>>> PR based, patches on this list?
>>
>> Patches to the mailing list are the usual way of contributing.
>
> OK, I'll clean this up and send it as two patches:
> - serial_sbi
> - cartesi (board)
Sounds good.
Cheers,
Ahmad
>
>>
>> Cheers,
>> Ahmad
>>
>>>
>>> best,
>>> Marcelo
>>>
>>>
>>> [1] Makefile:
>>> ```
>>> bbenv-$(CONFIG_BOARD_CARTESI) += defaultenv-cartesi
>>> ```
>>>
>>> [2] arch/riscv/boards/cartesi:
>>> ```
>>> defaultenv-cartesi
>>> ├── boot
>>> │ └── cartesi
>>> ├── init
>>> │ ├── automount
>>> │ └── ps1
>>> └── nv
>>> ├── allow_color
>>> ├── autoboot_timeout
>>> └── user
>>> ```
>>>
>>> [3]
>>> ```
>>> Hit m for menu or any to stop autoboot: 0
>>> Booting entry 'net'
>>> ```
>>>
>>> [4]
>>> ```
>>> defaultenv-cartesi
>>> ├── bin
>>> │ └── init
>>> └── boot
>>> └── cartesi
>>> ```
>>>
>>> _______________________________________________
>>> barebox mailing list
>>> barebox@lists.infradead.org
>>> http://lists.infradead.org/mailman/listinfo/barebox
>>>
>>
>>
>> --
>> Pengutronix e.K. | |
>> Steuerwalder Str. 21 | http://www.pengutronix.de/ |
>> 31137 Hildesheim, Germany | Phone: +49-5121-206917-0 |
>> Amtsgericht Hildesheim, HRA 2686 | Fax: +49-5121-206917-5555 |
>
--
Pengutronix e.K. | |
Steuerwalder Str. 21 | http://www.pengutronix.de/ |
31137 Hildesheim, Germany | Phone: +49-5121-206917-0 |
Amtsgericht Hildesheim, HRA 2686 | Fax: +49-5121-206917-5555 |
_______________________________________________
barebox mailing list
barebox@lists.infradead.org
http://lists.infradead.org/mailman/listinfo/barebox
next prev parent reply other threads:[~2021-09-15 22:00 UTC|newest]
Thread overview: 7+ messages / expand[flat|nested] mbox.gz Atom feed top
2021-09-15 20:30 Marcelo Politzer
2021-09-15 21:17 ` Ahmad Fatoum
2021-09-15 21:43 ` Marcelo Politzer
2021-09-15 21:58 ` Ahmad Fatoum [this message]
2021-09-16 18:01 ` Marcelo Politzer
2021-09-16 21:21 ` Ahmad Fatoum
2021-09-20 19:41 ` Marcelo Politzer
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=38f21108-d380-d299-e9cd-311b2ef4c3c8@pengutronix.de \
--to=a.fatoum@pengutronix.de \
--cc=barebox@lists.infradead.org \
--cc=marcelo.politzer@cartesi.io \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox