Rocksolid Light

Welcome to novaBBS (click a section below)

mail  files  register  newsreader  groups  login

Message-ID:  

The only thing worse than X Windows: (X Windows) - X


devel / comp.lang.ada / Re: Adapting an Ada compiler to generate 8051 code (Again?! ;-)

SubjectAuthor
* Adapting an Ada compiler to generate 8051 code (Again?! ;-)mockturtle
+* Re: Adapting an Ada compiler to generate 8051 code (Again?! ;-)Dmitry A. Kazakov
|+- Re: Adapting an Ada compiler to generate 8051 code (Again?! ;-)Gautier write-only address
|+* Re: Adapting an Ada compiler to generate 8051 code (Again?! ;-)mockturtle
||`* Re: Adapting an Ada compiler to generate 8051 code (Again?! ;-)Dmitry A. Kazakov
|| `- Re: Adapting an Ada compiler to generate 8051 code (Again?! ;-)Randy Brukardt
|`- Re: Adapting an Ada compiler to generate 8051 code (Again?! ;-)Randy Brukardt
+* Re: Adapting an Ada compiler to generate 8051 code (Again?! ;-)Niklas Holsti
|+- Re: Adapting an Ada compiler to generate 8051 code (Again?! ;-)mockturtle
|`* Re: Adapting an Ada compiler to generate 8051 code (Again?! ;-)Randy Brukardt
| `* Re: Adapting an Ada compiler to generate 8051 code (Again?! ;-)Niklas Holsti
|  `- Re: Adapting an Ada compiler to generate 8051 code (Again?! ;-)Randy Brukardt
+* Re: Adapting an Ada compiler to generate 8051 code (Again?! ;-)Luke A. Guest
|`- Re: Adapting an Ada compiler to generate 8051 code (Again?! ;-)Luke A. Guest
+- Re: Adapting an Ada compiler to generate 8051 code (Again?! ;-)Björn Lundin
+- Re: Adapting an Ada compiler to generate 8051 code (Again?! ;-)Shark8
+* Re: Adapting an Ada compiler to generate 8051 code (Again?! ;-)Paul Rubin
|`* Re: Adapting an Ada compiler to generate 8051 code (Again?! ;-)Luke A. Guest
| +* Re: Adapting an Ada compiler to generate 8051 code (Again?! ;-)Paul Rubin
| |`* Re: Adapting an Ada compiler to generate 8051 code (Again?! ;-)Luke A. Guest
| | +- Re: Adapting an Ada compiler to generate 8051 code (Again?! ;-)Simon Wright
| | `* Re: Adapting an Ada compiler to generate 8051 code (Again?! ;-)Randy Brukardt
| |  `* Re: Adapting an Ada compiler to generate 8051 code (Again?! ;-)Luke A. Guest
| |   `* Re: Adapting an Ada compiler to generate 8051 code (Again?! ;-)Randy Brukardt
| |    `- Re: Adapting an Ada compiler to generate 8051 code (Again?! ;-)Luke A. Guest
| `- Re: Adapting an Ada compiler to generate 8051 code (Again?! ;-)Niklas Holsti
`* Re: Adapting an Ada compiler to generate 8051 code (Again?! ;-)Gautier write-only address
 +* Re: Adapting an Ada compiler to generate 8051 code (Again?! ;-)Shark8
 |`* Re: Adapting an Ada compiler to generate 8051 code (Again?! ;-)Gautier write-only address
 | +- Re: Adapting an Ada compiler to generate 8051 code (Again?! ;-)Shark8
 | `- Re: Adapting an Ada compiler to generate 8051 code (Again?! ;-)Randy Brukardt
 `- Re: Adapting an Ada compiler to generate 8051 code (Again?! ;-)Luke A. Guest

Pages:12
Re: Adapting an Ada compiler to generate 8051 code (Again?! ;-)

<s43079$b5d$1@franka.jacob-sparre.dk>

 copy mid

https://www.novabbs.com/devel/article-flat.php?id=4928&group=comp.lang.ada#4928

 copy link   Newsgroups: comp.lang.ada
Path: i2pn2.org!i2pn.org!paganini.bofh.team!newsfeed.xs3.de!news.jacob-sparre.dk!franka.jacob-sparre.dk!pnx.dk!.POSTED.rrsoftware.com!not-for-mail
From: ran...@rrsoftware.com (Randy Brukardt)
Newsgroups: comp.lang.ada
Subject: Re: Adapting an Ada compiler to generate 8051 code (Again?! ;-)
Date: Wed, 31 Mar 2021 18:22:16 -0500
Organization: JSA Research & Innovation
Lines: 11
Message-ID: <s43079$b5d$1@franka.jacob-sparre.dk>
References: <41bc7a62-9c70-466d-b316-5fc74a3ee845n@googlegroups.com> <ac0cfd55-e724-4720-8ca9-d6d0af00de9dn@googlegroups.com> <d66c5a0d-2da2-4d6e-b9db-08efa2c572ffn@googlegroups.com> <ed21733d-64f0-473a-9a51-fe31fa327b10n@googlegroups.com>
Injection-Date: Wed, 31 Mar 2021 23:22:18 -0000 (UTC)
Injection-Info: franka.jacob-sparre.dk; posting-host="rrsoftware.com:24.196.82.226";
logging-data="11437"; mail-complaints-to="news@jacob-sparre.dk"
X-Priority: 3
X-MSMail-Priority: Normal
X-Newsreader: Microsoft Outlook Express 6.00.2900.5931
X-RFC2646: Format=Flowed; Original
X-MimeOLE: Produced By Microsoft MimeOLE V6.00.2900.7246
 by: Randy Brukardt - Wed, 31 Mar 2021 23:22 UTC

"Gautier write-only address" <gautier_niouzes@hotmail.com> wrote in message
news:ed21733d-64f0-473a-9a51-fe31fa327b10n@googlegroups.com...
> On Wednesday, March 31, 2021 at 11:14:49 PM UTC+2, Shark8 wrote:
>> Is this the same p-code as the UCSD P-System?
> They certainly have the same common ancestor.

So does Janus/Ada JCode. Not that that is relevant to anything today...

Randy.

Re: Adapting an Ada compiler to generate 8051 code (Again?! ;-)

<s44du6$ugk$1@gioia.aioe.org>

 copy mid

https://www.novabbs.com/devel/article-flat.php?id=4932&group=comp.lang.ada#4932

 copy link   Newsgroups: comp.lang.ada
Path: i2pn2.org!i2pn.org!aioe.org!JUN8/iIzeA71QWaIWFKODA.user.gioia.aioe.org.POSTED!not-for-mail
From: lagu...@archeia.com (Luke A. Guest)
Newsgroups: comp.lang.ada
Subject: Re: Adapting an Ada compiler to generate 8051 code (Again?! ;-)
Date: Thu, 1 Apr 2021 13:22:29 +0100
Organization: Aioe.org NNTP Server
Lines: 20
Message-ID: <s44du6$ugk$1@gioia.aioe.org>
References: <41bc7a62-9c70-466d-b316-5fc74a3ee845n@googlegroups.com>
<87im58a1up.fsf@nightsong.com> <s40555$6rp$1@gioia.aioe.org>
<87a6qk9uua.fsf@nightsong.com> <s40urd$qbp$1@gioia.aioe.org>
<s4304k$asf$1@franka.jacob-sparre.dk>
NNTP-Posting-Host: JUN8/iIzeA71QWaIWFKODA.user.gioia.aioe.org
Mime-Version: 1.0
Content-Type: text/plain; charset=utf-8; format=flowed
Content-Transfer-Encoding: 7bit
X-Complaints-To: abuse@aioe.org
User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:78.0) Gecko/20100101
Thunderbird/78.9.0
Content-Language: en-GB
X-Notice: Filtered by postfilter v. 0.9.2
 by: Luke A. Guest - Thu, 1 Apr 2021 12:22 UTC

On 01/04/2021 00:20, Randy Brukardt wrote:
> "Luke A. Guest" <laguest@archeia.com> wrote in message
> news:s40urd$qbp$1@gioia.aioe.org...
> ...
>> AVR isn't really an accumulator arch, it's got 32 registers. Even the 6502
>> has a port, but that uses the zero page as virtual registers. The Z80
>> cannot do that as it starts executing from address 0 iirc.
>
> The Z-80 has enough registers for Ada (or at least a reasonable subtest) --
> see the original Janus/Ada compilers. If you want *real* registers, even the

I know of the original Janus for Z80, never used it, is it a real Ada
compiler or is it a Pascal like Ada? Have you considered compiling it as
a cross compiler on Linux?

> x86 doesn't have enough registers for reasonable code optimizations. A

Tell me about it. Always hated the x86 when I was on m68k, look I have 8
Data and 8 Address registers, you have what? 4 useable ones!

Re: Adapting an Ada compiler to generate 8051 code (Again?! ;-)

<s44h96$i3u$1@gioia.aioe.org>

 copy mid

https://www.novabbs.com/devel/article-flat.php?id=4933&group=comp.lang.ada#4933

 copy link   Newsgroups: comp.lang.ada
Path: i2pn2.org!i2pn.org!aioe.org!JUN8/iIzeA71QWaIWFKODA.user.gioia.aioe.org.POSTED!not-for-mail
From: lagu...@archeia.com (Luke A. Guest)
Newsgroups: comp.lang.ada
Subject: Re: Adapting an Ada compiler to generate 8051 code (Again?! ;-)
Date: Thu, 1 Apr 2021 14:19:33 +0100
Organization: Aioe.org NNTP Server
Lines: 8
Message-ID: <s44h96$i3u$1@gioia.aioe.org>
References: <41bc7a62-9c70-466d-b316-5fc74a3ee845n@googlegroups.com>
<ac0cfd55-e724-4720-8ca9-d6d0af00de9dn@googlegroups.com>
NNTP-Posting-Host: JUN8/iIzeA71QWaIWFKODA.user.gioia.aioe.org
Mime-Version: 1.0
Content-Type: text/plain; charset=utf-8; format=flowed
Content-Transfer-Encoding: 7bit
X-Complaints-To: abuse@aioe.org
User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:78.0) Gecko/20100101
Thunderbird/78.9.0
X-Notice: Filtered by postfilter v. 0.9.2
Content-Language: en-GB
 by: Luke A. Guest - Thu, 1 Apr 2021 13:19 UTC

On 31/03/2021 21:46, Gautier write-only address wrote:
>> 2. Some compiler we can start from
>
> Some possibilities for proceeding with HAC:
> a. Adapt code generation to 8051 (it would create a branch of the HAC source...).

Generate TAC and then map those instructions to 8051 instruction
sequences like ye olde compilers did.

Re: Adapting an Ada compiler to generate 8051 code (Again?! ;-)

<icm5tmF7ak3U1@mid.individual.net>

 copy mid

https://www.novabbs.com/devel/article-flat.php?id=4935&group=comp.lang.ada#4935

 copy link   Newsgroups: comp.lang.ada
Path: i2pn2.org!i2pn.org!news.swapon.de!fu-berlin.de!uni-berlin.de!individual.net!not-for-mail
From: niklas.h...@tidorum.invalid (Niklas Holsti)
Newsgroups: comp.lang.ada
Subject: Re: Adapting an Ada compiler to generate 8051 code (Again?! ;-)
Date: Thu, 1 Apr 2021 18:07:34 +0300
Organization: Tidorum Ltd
Lines: 36
Message-ID: <icm5tmF7ak3U1@mid.individual.net>
References: <41bc7a62-9c70-466d-b316-5fc74a3ee845n@googlegroups.com>
<icgdhjF3j1eU1@mid.individual.net> <s42vp5$a6g$1@franka.jacob-sparre.dk>
Mime-Version: 1.0
Content-Type: text/plain; charset=utf-8; format=flowed
Content-Transfer-Encoding: 7bit
X-Trace: individual.net 8CWVGvWlS9sGWR69CN97fwbiiHviVuy/JhZiex6UW7zqfcs/iT
Cancel-Lock: sha1:s4DLJHmdCJ4plmpEcldjbBKLM3I=
User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10.14; rv:78.0)
Gecko/20100101 Thunderbird/78.7.0
In-Reply-To: <s42vp5$a6g$1@franka.jacob-sparre.dk>
Content-Language: en-US
 by: Niklas Holsti - Thu, 1 Apr 2021 15:07 UTC

On 2021-04-01 2:14, Randy Brukardt wrote:
> "Niklas Holsti" <niklas.holsti@tidorum.invalid> wrote in message
> news:icgdhjF3j1eU1@mid.individual.net...
> ...
>> I have often wished that there would be Ada compilers for more
>> microcontrollers, but I understand why there aren't. An Ada-to-C compiler
>> seems the most promising route.
>
> Send $$$. ;-) This was a project that was ideally suited for the
> Janus/Ada compiler suite, but we never were able to find a customer
> for it. The problem is always that the first customer has to pay a
> substantial part of the development; later customers don't have to
> pay that freight. (Back in the "waiver" days we considered doing it
> for the "fun" of making DoD-types have to find better excuses to
> avoid Ada than a compiler not existing for it, but the likely ROI
> wasn't there to convince the angel investors to go along with the
> idea.)

Yes, things like that were among the reasons I had in mind for the lack
of such Ada compilers. Plus the fact that the pain of writing a small C
program is much less than the pain of writing a large C program.

If you think that targeting Janus/Ada to small microcontrollers is
practical, I have two questions for you:

Can you describe, in general, the Janus/Ada internal program
representation that, say, an 8051-back-end would get as input?

Would you be open to external/community participation in creating new
back ends for Janus/Ada, either under NDA or working from a public
definition of the internal representation, and either work-for-free or
work for some share of future sales?

--
Niklas Holsti
Tidorum Ltd

Re: Adapting an Ada compiler to generate 8051 code (Again?! ;-)

<s45l9g$m1f$1@franka.jacob-sparre.dk>

 copy mid

https://www.novabbs.com/devel/article-flat.php?id=4936&group=comp.lang.ada#4936

 copy link   Newsgroups: comp.lang.ada
Path: i2pn2.org!i2pn.org!paganini.bofh.team!newsfeed.xs3.de!news.jacob-sparre.dk!franka.jacob-sparre.dk!pnx.dk!.POSTED.rrsoftware.com!not-for-mail
From: ran...@rrsoftware.com (Randy Brukardt)
Newsgroups: comp.lang.ada
Subject: Re: Adapting an Ada compiler to generate 8051 code (Again?! ;-)
Date: Thu, 1 Apr 2021 18:34:07 -0500
Organization: JSA Research & Innovation
Lines: 55
Message-ID: <s45l9g$m1f$1@franka.jacob-sparre.dk>
References: <41bc7a62-9c70-466d-b316-5fc74a3ee845n@googlegroups.com> <icgdhjF3j1eU1@mid.individual.net> <s42vp5$a6g$1@franka.jacob-sparre.dk> <icm5tmF7ak3U1@mid.individual.net>
Injection-Date: Thu, 1 Apr 2021 23:34:08 -0000 (UTC)
Injection-Info: franka.jacob-sparre.dk; posting-host="rrsoftware.com:24.196.82.226";
logging-data="22575"; mail-complaints-to="news@jacob-sparre.dk"
X-Priority: 3
X-MSMail-Priority: Normal
X-Newsreader: Microsoft Outlook Express 6.00.2900.5931
X-RFC2646: Format=Flowed; Response
X-MimeOLE: Produced By Microsoft MimeOLE V6.00.2900.7246
 by: Randy Brukardt - Thu, 1 Apr 2021 23:34 UTC

"Niklas Holsti" <niklas.holsti@tidorum.invalid> wrote in message
news:icm5tmF7ak3U1@mid.individual.net...
> On 2021-04-01 2:14, Randy Brukardt wrote:
>> "Niklas Holsti" <niklas.holsti@tidorum.invalid> wrote in message
>> news:icgdhjF3j1eU1@mid.individual.net...
>> ...
>>> I have often wished that there would be Ada compilers for more
>>> microcontrollers, but I understand why there aren't. An Ada-to-C
>>> compiler
>>> seems the most promising route.
>>
>> Send $$$. ;-) This was a project that was ideally suited for the
>> Janus/Ada compiler suite, but we never were able to find a customer
>> for it. The problem is always that the first customer has to pay a
>> substantial part of the development; later customers don't have to
>> pay that freight. (Back in the "waiver" days we considered doing it
>> for the "fun" of making DoD-types have to find better excuses to
>> avoid Ada than a compiler not existing for it, but the likely ROI
>> wasn't there to convince the angel investors to go along with the
>> idea.)
>
> Yes, things like that were among the reasons I had in mind for the lack of
> such Ada compilers. Plus the fact that the pain of writing a small C
> program is much less than the pain of writing a large C program.
>
> If you think that targeting Janus/Ada to small microcontrollers is
> practical, I have two questions for you:
>
> Can you describe, in general, the Janus/Ada internal program
> representation that, say, an 8051-back-end would get as input?

It's called "JCode" (named long before Java existed, at least publically),
and it is based on the ideas of p-code, tailored for what we needed for 8086
and similar processor output. There are other inputs (mostly in the form of
a partial JRL, which carries the unit dependencies and the like), but most
of those are related to the binder.

Decent code generation for it is quite easy, since it is a rather low-level
form. It's relatively easy to write a passable code generator and then
incrementally improve it with pattern matching. One could probably build
much fancier schemes on top of it; we thought about that periodically, but
experiments showed that the differences wouldn't be worth the work. (Robert
Dewar famously said that "most optimizations are disappointing", definitely
a true fact from my experience.)

> Would you be open to external/community participation in creating new back
> ends for Janus/Ada, either under NDA or working from a public definition
> of the internal representation, and either work-for-free or work for some
> share of future sales?

Yes, certainly. Contact me directly at the usual e-mail.

Randy.

Re: Adapting an Ada compiler to generate 8051 code (Again?! ;-)

<s45lri$m7n$1@franka.jacob-sparre.dk>

 copy mid

https://www.novabbs.com/devel/article-flat.php?id=4937&group=comp.lang.ada#4937

 copy link   Newsgroups: comp.lang.ada
Path: i2pn2.org!i2pn.org!weretis.net!feeder8.news.weretis.net!gandalf.srv.welterde.de!news.jacob-sparre.dk!franka.jacob-sparre.dk!pnx.dk!.POSTED.rrsoftware.com!not-for-mail
From: ran...@rrsoftware.com (Randy Brukardt)
Newsgroups: comp.lang.ada
Subject: Re: Adapting an Ada compiler to generate 8051 code (Again?! ;-)
Date: Thu, 1 Apr 2021 18:43:45 -0500
Organization: JSA Research & Innovation
Lines: 51
Message-ID: <s45lri$m7n$1@franka.jacob-sparre.dk>
References: <41bc7a62-9c70-466d-b316-5fc74a3ee845n@googlegroups.com> <87im58a1up.fsf@nightsong.com> <s40555$6rp$1@gioia.aioe.org> <87a6qk9uua.fsf@nightsong.com> <s40urd$qbp$1@gioia.aioe.org> <s4304k$asf$1@franka.jacob-sparre.dk> <s44du6$ugk$1@gioia.aioe.org>
Injection-Date: Thu, 1 Apr 2021 23:43:46 -0000 (UTC)
Injection-Info: franka.jacob-sparre.dk; posting-host="rrsoftware.com:24.196.82.226";
logging-data="22775"; mail-complaints-to="news@jacob-sparre.dk"
X-Priority: 3
X-MSMail-Priority: Normal
X-Newsreader: Microsoft Outlook Express 6.00.2900.5931
X-RFC2646: Format=Flowed; Response
X-MimeOLE: Produced By Microsoft MimeOLE V6.00.2900.7246
 by: Randy Brukardt - Thu, 1 Apr 2021 23:43 UTC

"Luke A. Guest" <laguest@archeia.com> wrote in message
news:s44du6$ugk$1@gioia.aioe.org...
> On 01/04/2021 00:20, Randy Brukardt wrote:
>> "Luke A. Guest" <laguest@archeia.com> wrote in message
>> news:s40urd$qbp$1@gioia.aioe.org...
>> ...
>>> AVR isn't really an accumulator arch, it's got 32 registers. Even the
>>> 6502
>>> has a port, but that uses the zero page as virtual registers. The Z80
>>> cannot do that as it starts executing from address 0 iirc.
>>
>> The Z-80 has enough registers for Ada (or at least a reasonable
>> subtest) --
>> see the original Janus/Ada compilers. If you want *real* registers, even
>> the
>
> I know of the original Janus for Z80, never used it, is it a real Ada
> compiler or is it a Pascal like Ada?

It was an Ada 83 subset. Don't remember the exact details, but it covered a
substantial part of the language, including packages and exceptions. The
validated Ada 83 compilers were direct descendants, and the current compiler
is directly descended from that.

> Have you considered compiling it as a cross compiler on Linux?

Sadly, we've lost the back-end. When I was moving and going to junk the last
machine with a working 5 1/4" floppy, I decided to copy all of the old stuff
into the version control system. But I wasn't able to read the disks with
the source to the last pass.

I didn't concern myself too much with losing that, as that backend predated
J-Code and thus any modern version would need to be rewritten anyway to mate
with a modern front-end. I did manage to recover the runtime, which would be
more work to reproduce anyway -- especially the floating point library.

>> x86 doesn't have enough registers for reasonable code optimizations. A
>
> Tell me about it. Always hated the x86 when I was on m68k, look I have 8
> Data and 8 Address registers, you have what? 4 useable ones!

6 registers on the x86 (as SP and BP have special purposes -- one can use
them [especially BP] in a pinch but you have to save the contents). It's
just enough to be more than enough for most simple purposes and thus a bit
of longer term register allocation is needed. The Z-80 for instance didn't
need any register allocation as with essentially 3 there wasn't any point in
trying to keep anything there.

Randy.

Re: Adapting an Ada compiler to generate 8051 code (Again?! ;-)

<s45p79$1djo$1@gioia.aioe.org>

 copy mid

https://www.novabbs.com/devel/article-flat.php?id=4938&group=comp.lang.ada#4938

 copy link   Newsgroups: comp.lang.ada
Path: i2pn2.org!i2pn.org!aioe.org!JUN8/iIzeA71QWaIWFKODA.user.gioia.aioe.org.POSTED!not-for-mail
From: lagu...@archeia.com (Luke A. Guest)
Newsgroups: comp.lang.ada
Subject: Re: Adapting an Ada compiler to generate 8051 code (Again?! ;-)
Date: Fri, 2 Apr 2021 01:41:13 +0100
Organization: Aioe.org NNTP Server
Lines: 28
Message-ID: <s45p79$1djo$1@gioia.aioe.org>
References: <41bc7a62-9c70-466d-b316-5fc74a3ee845n@googlegroups.com>
<87im58a1up.fsf@nightsong.com> <s40555$6rp$1@gioia.aioe.org>
<87a6qk9uua.fsf@nightsong.com> <s40urd$qbp$1@gioia.aioe.org>
<s4304k$asf$1@franka.jacob-sparre.dk> <s44du6$ugk$1@gioia.aioe.org>
<s45lri$m7n$1@franka.jacob-sparre.dk>
NNTP-Posting-Host: JUN8/iIzeA71QWaIWFKODA.user.gioia.aioe.org
Mime-Version: 1.0
Content-Type: text/plain; charset=utf-8; format=flowed
Content-Transfer-Encoding: 7bit
X-Complaints-To: abuse@aioe.org
User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:78.0) Gecko/20100101
Thunderbird/78.9.0
Content-Language: en-GB
X-Notice: Filtered by postfilter v. 0.9.2
 by: Luke A. Guest - Fri, 2 Apr 2021 00:41 UTC

On 02/04/2021 00:43, Randy Brukardt wrote:

>> I know of the original Janus for Z80, never used it, is it a real Ada
>> compiler or is it a Pascal like Ada?
>
> It was an Ada 83 subset. Don't remember the exact details, but it covered a
> substantial part of the language, including packages and exceptions. The
> validated Ada 83 compilers were direct descendants, and the current compiler
> is directly descended from that.

Ah.

>> Have you considered compiling it as a cross compiler on Linux?
>
> Sadly, we've lost the back-end. When I was moving and going to junk the last
> machine with a working 5 1/4" floppy, I decided to copy all of the old stuff
> into the version control system. But I wasn't able to read the disks with
> the source to the last pass.
>
> I didn't concern myself too much with losing that, as that backend predated
> J-Code and thus any modern version would need to be rewritten anyway to mate
> with a modern front-end. I did manage to recover the runtime, which would be
> more work to reproduce anyway -- especially the floating point library.

Have you considered sticking the front end onto github? Writing a back
end shouldn't be too hard. Would be an interesting project for someone,
and also to get it up to complete Ada 83.

Pages:12
server_pubkey.txt

rocksolid light 0.9.7
clearnet tor