log☇︎
87600+ entries in 0.052s
asciilifeform: rom.ld is the linker memorymap magic, also educational, produces a bootable kernel.
asciilifeform: boot_qemu.asm is the minimal x86-64 init and stage1 loader.
asciilifeform: the interesting from 'iron gnat' etc pov, is the *.asm .
asciilifeform: now includes whole thing.
asciilifeform: updated the taball, new sha512==6b131ba3529ae9856f0befa260c1a477b068197a9e3b24571308c528bc1373c2ca71f6065e1146dbe9329f115a2fe53469f0d7528a729f73194d75365e7f63f8
mircea_popescu: ie, we've managed to stockade it, at least. digestion can then proceed.
mircea_popescu: a minimal os + custom built fs (doubling as bitcoin specific db ; possibly written as raid firmware at least in part) + proper net driver (i really don't need iptables ad-hoc scripting lang to do what evidently and universally bitcoin node has to do) + grandfather pistols bitcoin code => an actual definitive package.
asciilifeform: hmm seems like i forgot to include the sage gdb loaders, 1s
a111: Logged on 2018-07-05 18:02 asciilifeform: trinque: is your item packaged roughly similarly to my rockchip thing ? (i.e. a tarball that i can unpack onto an empty ext4 , and jump into ) ?
trinque: http://btcbase.org/log/2018-07-05#1831980 << no, it's a script that'll build the system from scratch, using a snapshot of external deps ☝︎
asciilifeform: the demo mainproggy, rom.c, simply prints 'Halted.' to the uart and hangs forever.
asciilifeform: 'make dis' shits out disasm of whole thing
asciilifeform: there is a x86-64 pagetable unit, and uart init. some of the routines are in c, but quite simple to translate. there is a heathen printf, can tear it out, or use for hexdumps etc.
asciilifeform: 'make emu' builds variant that runs in qemu and (if you have x86-64 qemu) boots it. 'make sage' ditto but boots on a cold sage ( see http://www.loper-os.org/?p=1887 & elsewhere ) . 'make sage-warm' boots on a warm sage. ☟︎
mircea_popescu: " The hello world example from the previous installment can be build and it's size inspected. It is now at 2.6k (down from 54k) on my computer" aaa yes
asciilifeform: i will put in the log, what this is, and how to eat it
mircea_popescu: phf do you remember why ave1 's thing isn't in http://btcbase.org/patches ? ☟︎
a111: Logged on 2018-07-06 14:17 ave1: thx! now if anyone can be bother to design a board with multiple ice40
mircea_popescu: http://btcbase.org/log/2018-07-06#1832233 << there's all that discussion of fabric fabrication... ☝︎
mircea_popescu: http://btcbase.org/log/2018-07-06#1832227 << this. "not as fast, but at least useful" (tm) ☝︎☟︎
mircea_popescu: o wow that's his irc client ? i thought he literally meant "mother".
mircea_popescu: And after spending his earnings foolishly he beats his wife -- the man that promised to protect her during life -- and so the man would if there was no drink in society, for seldom a man beats his wife in a state of sobriety.
mircea_popescu: Thou causeth the mother to neglect her child, also the father to act as he were wild, so that he neglects his loving wife and family dear, by spending his earnings foolishly on whisky, rum and beer.
mircea_popescu: Oh, thou demon Drink, thou fell destroyer; thou curse of society, and its greatest annoyer. What hast thou done to society, let me think? I answer thou hast caused the most of ills, thou demon Drink.
mircea_popescu: see Bigtexasbingo , online piracy, gatweay drug to marine piracy.
Bigtexasbingo: Brb, trying to conseguir un nave
a111: Logged on 2018-07-05 17:15 asciilifeform: in fact, this sorta happened, recall the early crt tv and its xray killzone
mircea_popescu: who the fuck even ships a "screensaver", what is this, the http://btcbase.org/log/2018-07-05#1831830 future ?! ☝︎
mircea_popescu: i don't understand how they propose anyone use those things. "here's a pile of very important features that you must turn off one by one in order to get the box bacl"
Bigtexasbingo: Just the colo. Rock chips
a111: Logged on 2018-07-06 14:09 ave1: btw, at this point would bare metal arm make more sense than x86? (at least some arm processors seem to be free of blobs and backdoor).
a111: Logged on 2018-07-06 14:06 ave1: I have to practice my joke lines
a111: Logged on 2017-01-19 23:35 asciilifeform: theoretically you can, e.g., host www on just an uart.
a111: Logged on 2016-09-17 18:06 asciilifeform: now switching from the depressive tack, to the crackpot track, i ~did~ get high speed uart going on one of those all-in-one amd64 boxes.
mircea_popescu: very much the exact opposite of http://trilema.com/2011/ce-am-pierdut-si-voi-n-ati-avut/ discussion.
mircea_popescu: thinking about this, it's fucking evident what difference the online made for the thinking mind. yes i was a child, but child or no child, it didn't occur to me that i must have a gns link to the item that i like. "this" and pointing was an acceptable manner of reference in the 90s, because why the hell wouldn't it be and what's a global namespace anyway.
asciilifeform: the packard bell thing, with the int19 debugger ?
mircea_popescu: did i ever tell you the story of ye olde 8086 friend had that could drop into asm-er from bios ?
mircea_popescu: anyway, let him be, this part can be easily patched in later anyway.
asciilifeform: ( all you gotta do is to bring up the x64 pagetable and the uart, and you're home )
mircea_popescu: maybe we should asm the log, simplify array access :D
asciilifeform: funnily enuff asciilifeform posted the necessary asm a while back, but grrr can't find in log yet
mircea_popescu: i like his approach, ftr. tempered ingenuity, wiggle things one at a time towards the greater goal.
a111: Logged on 2018-07-06 13:43 ave1: Also, I just checked, it is fine to put the start.o in the libgnat.a so next step may well be that the makefile can be removed again.
mircea_popescu: http://btcbase.org/log/2018-07-06#1832198 << /me following this quite excitedly. ☝︎
mircea_popescu: sadly for the us, they're all latinos. and it shows.
Bigtexasbingo: Nigger all stars versus a country trying to be a nation
Bigtexasbingo: Is it just me or did that French team not look very French
trinque: asciilifeform: cuntoo tarball uploadin, poast shortly
asciilifeform: ( took'em... 23 yrs )
asciilifeform: ave1: simulator won't give you much useful to work with re analogue rng, considering that it relies on amplification of physical (johnson) noise
asciilifeform: ( the src is pedantically, painfully commented, but whoknows )
asciilifeform: ave1: feel free to ask q if you end up puzzled in re particulars.
asciilifeform: ave1: iirc you also have an actual FG, can experiment with that.
ave1: I was reading through the fg design (doing experiments with circuit simulators to see how the RNG might work etc). I'll just continue with the next step.
asciilifeform: ice40, unlike the xilinx cplds, also includes 32kB of onboard sram. so possibly can have small cache, or extra registers, or some other useful item.
asciilifeform: ( ice40 is about a dozen times larger )
asciilifeform: it eats 71 of the 72 logic cells in the old xilinx cpld.
asciilifeform: approx same level of complexity as that little mips.
asciilifeform: ave1: FUCKGOATS src http://btcbase.org/patches/fg-genesis makes as good an intro to verilogism as any imho
ave1: I see, I'll have to learn verilog, I did not know you could implement a processor with so little code
asciilifeform: the simplest (text i/o only) mips emul asciilifeform likes, is 'gxemul' , should suffice to test.
ave1: thx! now if anyone can be bother to design a board with multiple ice40 ☟︎
ave1: Any MIPS verilog / vhdl code you can point too?
ave1: I could see if I can port gnat to qemu-mips
asciilifeform: the ice40 breakthrough however means that we can be own mips producer.
ave1: It seems that the American one (Cavium?) is also unobtainable
ave1: yes, did you ever hear anything back from the russian mips producers?
asciilifeform: i took a shot at building one back in 2016, but ran into a buncha gnarl, which ave1 at this point seems to have mostly resolved
asciilifeform: asciilifeform in particular would like a gnat for mips, given as the latter actually fits in an ice40
asciilifeform: ave1: x86, arm, mips, at the very least.
ave1: btw, at this point would bare metal arm make more sense than x86? (at least some arm processors seem to be free of blobs and backdoor). ☟︎
ave1: I have to practice my joke lines ☟︎
asciilifeform: ave1: ultimate brass ring is where we can dispense with os (in the usual sense)
ave1: another holy grail, I thought the arm version was it!
asciilifeform: ( init the x64 page table, jump, serial port for i/o )
asciilifeform: ave1: seems like the holy grail, the bare iron gnat, is not far.
ave1: now there was something with asserts, but I'll have to dig this up again and do a few experiments
ave1: the examples have two binaries, one simple hw the other triggers a constaint error
asciilifeform: i'll read the whole thing and get back .
ave1: the last_change_handler is in there
asciilifeform: ave1: also keep in mind that you can't get away with not having the last-resort exception handler -- preconds and asserts demand it
ave1: asciilifeform, yes that was my first reaction too. It does does something with word copying though and also individual files can be build without any of the extra gnat checks. So maybe the ada versions can be stand-ins so long as a native asm based version has not been written.
asciilifeform: ave1: pretty neat. 1 nitpick, however: generally you don't want memcpy and memmove to be in anything but asm -- otherwise whole proggy is abominably slow ( ada proggy spends quite a bit of time clearing buffers and passing fairly large chunks of data by value )
ave1: Also, I just checked, it is fine to put the start.o in the libgnat.a so next step may well be that the makefile can be removed again. ☟︎
ave1: it maybe possible to creat a stand-alone object file as target but I haven't found that option yet (so far I worked with libraries and executables).
diana_coman: anyway, this might be premature ; it's more that I'm surprised gprbuild couldn't quite do what you needed
diana_coman: or there's something I don't quite follow there
diana_coman: hmm, but you can in any case just write a .gpr that builds the object files for precisely the files you want, no/
ave1: at least that's my understanding so far (crt1.o etc are also not part of libc.a). But maybe it is fine to put in, I haven't tried it yet.
ave1: the startup.S file, it needs to end up as a separate object file and not part of libgnat.a
diana_coman: what was exactly you couldn't build with gprbuild and needed the makefile for?
ave1: thx diana_coman, It's now very minimal, mostly so that it can be understood as is. I'm working on adding all the code in so that at least ffa can build.
deedbot: http://ave1.org/2018/gnat-zero-foot-print-take-2-no-c/ << ave1 - GNAT Zero Foot Print - Take 2 - No C
deedbot: http://trilema.com/2018/minigame-smg-june-2018-statement/ << Trilema - MiniGame (S.MG), June 2018 Statement
mircea_popescu: meanwhile teaching girls to make zwiebelschnitzel. in french chablis, for maximal gains.
asciilifeform: http://archive.is/xa79A#selection-4043.0-4055.26 >> 166 A6 Feminine ordinal indicator / 167 A7 Masculine ordinal indicator << where the fuk is this used?!
asciilifeform: ditto, naturally, chinesium ( plenty of cn/jp'kanji' are decomposable into subglyphs, the amt of use made of this fact : 0 )
asciilifeform: because this somehow makes sense.
asciilifeform: phunphakt -- because of insistence on supporting idjit rendering systems, they let korean ( hangul ) script eat O(N^4) space ! ( i.e. erry possible combo of subglyphs ) apparently.