Recent

« previous next »
Pages: [1]

Author Topic: Pascal UniKernel  (Read 3565 times)

mai

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

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 »
Logged

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 »
Logged

Blestan

  • Sr. Member
  • ****
  • Posts: 461
Re: Pascal UniKernel
« Reply #3 on: November 09, 2017, 09:12:11 pm »
best pascal kernel as far i toro kernel
Logged
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 »
Logged
Pages: [1]
« previous next »
 

TinyPortal © 2005-2018