* * *

Author Topic: Pascal UniKernel  (Read 895 times)

mai

  • Full Member
  • ***
  • Posts: 133
  • truther
Pascal UniKernel
« on: October 31, 2017, 04:29:25 pm »
where to find a working Pascal Unikernel ?  :)

mai

  • Full Member
  • ***
  • Posts: 133
  • truther
Re: Pascal UniKernel
« Reply #1 on: November 04, 2017, 02:18:32 pm »
https://www.raspberrypi.org/forums/viewtopic.php?t=134956

http://forum.lazarus.freepascal.org/index.php?topic=34268.msg264869#msg264869

unikernel for RPi = " rasp berry Pi " in FreePascal ‎

http://lists.inf.ethz.ch/pipermail/oberon/2016/009752.html

"Ultibo is written entirely in Free Pascal and
is designed to act as a unikernel or a kernel in a run time library.
That means when you compile your application the necessary parts of Ultibo are automatically included
by the compiler so that your program runs without needing an operating system."

http://wiki.osdev.org/Pascal_Bare_Bones

mini PAS  kernl
« Last Edit: November 05, 2017, 05:00:04 pm by mai »

mai

  • Full Member
  • ***
  • Posts: 133
  • truther
Re: Pascal UniKernel
« Reply #2 on: November 09, 2017, 07:50:20 pm »
then add to that :

https://media.ccc.de/v/33c3-8314-bootstraping_a_slightly_more_secure_laptop#video&t=191


http://u-root.tk/#faqs


secure reproducible kernel coreboot payload made with Pascal (almost) only ...   :-*
« Last Edit: November 09, 2017, 11:22:38 pm by mai »

Blestan

  • Sr. Member
  • ****
  • Posts: 457
Re: Pascal UniKernel
« Reply #3 on: November 09, 2017, 09:12:11 pm »
best pascal kernel as far i toro kernel
Speak postscript or die!
Translate to pdf and live!

mai

  • Full Member
  • ***
  • Posts: 133
  • truther
Re: Pascal UniKernel
« Reply #4 on: November 09, 2017, 11:22:09 pm »
« Last Edit: November 09, 2017, 11:24:22 pm by mai »

 

Recent

Get Lazarus at SourceForge.net. Fast, secure and Free Open Source software downloads Open Hub project report for Lazarus