10 ms·
OCaml on Baremetal Shakti RISC-V Processor
- xvilka 8y agoHopefully RISC-V support will land in the mainstream soon.
- nojb 8y agoIt is planned, but requires availability of actual hardware for testing.
- muxator 8y agoWasn't MirageOS bought by Docker Inc? Is the project still independent and active?
- sanxiyn 8y agoDocker did acquire Unikernel Systems, but MirageOS is alive and well.
- wickedsmile 8y agoShakti will be used in next iPhone I guess.
- thechao 8y agoWhy? I’m honestly interested in you’re theory.
- abhinai 8y agoOCaml is a beautiful language but I haven't seen any big non language projects written in OCaml. Does any one know why? OR do such projects exist and it is only that I am not aware of them?
- z3phyr 8y agohttps://mirage.io/ https://mirage.io/
- isaachier 8y agoWhen you say non-language, do you mean unrelated to OCaml specifically or any language? Facebook implemented its infer linter for C, C++, Java, and Objective-C in OCaml: https://github.com/facebook/infer https://github.com/facebook/infer. When I worked at Bloomberg, they released BuckleScript for JS development. Not sure if that caught on though.
- richeyryan 8y agoBucklescript has caught on to some extent. Its sister syntax ReasonML is getting a little traction which means that Bucklescript is getting a little traction as they share the same build chain. Facebook Messenger is built using Reason. A few other smaller companies are using it too: https://reasonml.github.io/en/users-of-reason https://reasonml.github.io/en/users-of-reason Wow Air were using it though one probably can't blame that for their collapse. I guess that list doesn't include straight Bucklescript users either. There are definitely companies out there who use it outside of Reason so the OCaml, in general, is getting some use in industry which is nice.
- microcolonel 8y agohttps://www.janestreet.com/technology/ https://www.janestreet.com/technology/
- sanxiyn 8y agoUnison File Synchronizer is written in OCaml.
- wtetzner 8y agoThere's Zero Install: http://roscidus.com/blog/blog/2014/06/06/python-to-ocaml-retrospective/ http://roscidus.com/blog/blog/2014/06/06/python-to-ocaml-ret...
- monocasa 8y ago
- oneplane 8y agoIronically, the bootloader is still assembly with C++. Then again, maybe that is not the interesting thing to do in OCaml.
- wtetzner 8y agoI'm not sure that's ironic. I believe the OCaml runtime is written in C as well.
- pjmlp 8y agoMany times that is a matter of convenience, other than trying to prove a point doing a full bootstrap.
- sl33k- 8y agoMalte here, I developed the bootcode. While I agree with you, it's about the minimum you can do in C/ASM land before starting up OCaml. The bootcode just initializes the registers to zero, setups a trap handler and the stack and heap. This is impossible to do from OCaml as it does not allow direct register/memory access as a language feature.
- Abishek_Muthian 8y agoI like the direction Shakti team is taking with the project, skilled personnel teasing practicality; Although I believe that the secure application project is intended for defence purposes.
- kcsrk 8y agoSecure applications are pervasive. Think point of sale terminals, IoT devices and wearables handling personal information, all fly by wire systems, etc. Shakti is a whole family of processors from tiny microcontrollers to server class processors.
- drudru11 8y agoWhere can we get this RISC-V hardware?
- hellooooooo 8y agohttps://riscv.org/risc-v-cores/ https://riscv.org/risc-v-cores/
- drudru11 8y agoThe shakti in particular... Not available on that site.
- hellooooooo 8y agoThere is a link to the code (hosted on Gitlab).
- philonoist 8y agoThere is always a mention of F# whenever discussion on Ocaml arises. This time I wonder it is not discussed as much here because may be F# is clearly at disadvantage in RISC-V domain.
- xyproto 8y agoBoth spike and qemu-system-riscv are now available in Arch Linux.